Symbol: reset_sm
usr/src/tools/smatch/src/smatch_comparison.c
808
reset_sm(sm);
usr/src/tools/smatch/src/smatch_comparison.c
858
reset_sm(sm);