Symbol: __push_scope_hooks
usr/src/tools/smatch/src/smatch.h
808
void __push_scope_hooks(void);
usr/src/tools/smatch/src/smatch_conditions.c
690
__push_scope_hooks();
usr/src/tools/smatch/src/smatch_flow.c
817
__push_scope_hooks();
usr/src/tools/smatch/src/smatch_flow.c
988
__push_scope_hooks();