Symbol: delete_gate_sm
usr/src/tools/smatch/src/smatch_implied.c
771
delete_gate_sm(implied_true, sm->name, sm->sym);
usr/src/tools/smatch/src/smatch_implied.c
772
delete_gate_sm(implied_false, sm->name, sm->sym);
usr/src/tools/smatch/src/smatch_implied.c
809
delete_gate_sm(implied_true, sm->name, sm->sym);
usr/src/tools/smatch/src/smatch_implied.c
810
delete_gate_sm(implied_false, sm->name, sm->sym);