Symbol: estate_clear_fuzzy_max
usr/src/tools/smatch/src/smatch_extra.c
901
estate_clear_fuzzy_max(state);
usr/src/tools/smatch/src/smatch_extra.c
903
estate_clear_fuzzy_max(state);
usr/src/tools/smatch/src/smatch_extra.h
147
void estate_clear_fuzzy_max(struct smatch_state *state);