Symbol: __push_default
usr/src/tools/smatch/src/smatch.h
783
void __push_default(void);
usr/src/tools/smatch/src/smatch_flow.c
1161
__push_default();
usr/src/tools/smatch/src/smatch_flow.c
812
__push_default();