Symbol: __print_cur_stree
usr/src/tools/smatch/src/check_debug.c
45
__print_cur_stree();
usr/src/tools/smatch/src/smatch.h
793
void __print_cur_stree(void);