Symbol: __set_cur_stree_writable
usr/src/tools/smatch/src/smatch.h
723
void __set_cur_stree_writable(void);
usr/src/tools/smatch/src/smatch_slist.c
734
__set_cur_stree_writable();