Symbol: __swap_cur_stree
usr/src/tools/smatch/src/check_atomic_inc_dec.c
337
orig_stree = __swap_cur_stree(stree);
usr/src/tools/smatch/src/check_atomic_inc_dec.c
375
__swap_cur_stree(orig_stree);
usr/src/tools/smatch/src/check_locking.c
1007
orig = __swap_cur_stree(stree);
usr/src/tools/smatch/src/check_locking.c
1043
__swap_cur_stree(orig);
usr/src/tools/smatch/src/smatch.h
713
struct stree *__swap_cur_stree(struct stree *stree);
usr/src/tools/smatch/src/smatch_returns.c
64
orig = __swap_cur_stree(all_return_states);
usr/src/tools/smatch/src/smatch_returns.c
68
__swap_cur_stree(orig);