Symbol: __smatch_absolute_max
usr/src/tools/smatch/src/validation/sm_absolute1.c
9
__smatch_absolute_max(y);
usr/src/tools/smatch/src/validation/sm_absolute2.c
12
__smatch_absolute_max(a);
usr/src/tools/smatch/src/validation/sm_absolute2.c
14
__smatch_absolute_max(x);