Symbol: delete_gate_sm_equiv
usr/src/tools/smatch/src/smatch_implied.c
768
delete_gate_sm_equiv(implied_true, sm->name, sm->sym);
usr/src/tools/smatch/src/smatch_implied.c
769
delete_gate_sm_equiv(implied_false, sm->name, sm->sym);
usr/src/tools/smatch/src/smatch_implied.c
806
delete_gate_sm_equiv(implied_true, sm->name, sm->sym);
usr/src/tools/smatch/src/smatch_implied.c
807
delete_gate_sm_equiv(implied_false, sm->name, sm->sym);