Home
last modified time | relevance | path

Searched refs:state_name_to_param_name (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_capped.c300 param_name = state_name_to_param_name(sm->name, return_str); in print_return_implies_capped()
H A Dsmatch_db.c2692 const char *state_name_to_param_name(const char *state_name, const char *param_name) in state_name_to_param_name() function
2736 return state_name_to_param_name(name, sym->ident->name); in get_param_name_var_sym()
2771 return state_name_to_param_name(state_name, sym_name); in get_mtag_name_var_sym()
H A Dsmatch_kernel_user_data.c1398 param_name = state_name_to_param_name(sm->name, return_str); in param_set_to_user_data()
H A Dcheck_locking.c867 param_name = state_name_to_param_name(sm->name, ret_str); in get_param_lock_name()
H A Dsmatch.h915 const char *state_name_to_param_name(const char *state_name, const char *param_name);