Symbol: get_user_stree
usr/src/tools/smatch/src/check_nospec.c
207
stree = get_user_stree();
usr/src/tools/smatch/src/smatch.h
1079
struct stree *get_user_stree(void);