Symbol: estate_clear_hard_max
usr/src/tools/smatch/src/smatch_extra.c
894
estate_clear_hard_max(state);
usr/src/tools/smatch/src/smatch_extra.h
150
void estate_clear_hard_max(struct smatch_state *state);