usr/src/tools/smatch/src/check_debug.c

38

stree = get_all_states_stree(SMATCH_EXTRA);

usr/src/tools/smatch/src/smatch.h

374

struct stree *get_all_states_stree(int id);

usr/src/tools/smatch/src/smatch_db.c

1008

stree = get_all_states_stree(cb->owner);

usr/src/tools/smatch/src/smatch_db.c

983

stree = get_all_states_stree(cb->owner);

usr/src/tools/smatch/src/smatch_flow.c

1852

global_states = clone_estates_perm(get_all_states_stree(SMATCH_EXTRA));

usr/src/tools/smatch/src/smatch_kernel_user_data.c

895

return get_all_states_stree(my_id);

usr/src/tools/smatch/src/smatch_param_filter.c

42

start_states = get_all_states_stree(SMATCH_EXTRA);

usr/src/tools/smatch/src/smatch_param_limit.c

57

start_states = get_all_states_stree(SMATCH_EXTRA);