Symbol: fake_get_hard_max
usr/src/tools/smatch/src/check_index_overflow.c
228
fake_get_hard_max(offset, &hard_max);
usr/src/tools/smatch/src/check_index_overflow.c
303
fake_get_hard_max(offset, &hard_max);