Symbol: __set_sm_fake_stree
usr/src/tools/smatch/src/smatch.h
726
void __set_sm_fake_stree(struct sm_state *sm);
usr/src/tools/smatch/src/smatch_implied.c
1079
__set_sm_fake_stree(tmp);