Symbol: NEGATIVE
usr/src/tools/smatch/src/check_atomic_inc_dec.c
310
return NEGATIVE;
usr/src/tools/smatch/src/check_atomic_inc_dec.c
378
if (inc_buckets[NEGATIVE] &&
usr/src/tools/smatch/src/check_locking.c
1054
if (locked_buckets[NEGATIVE] &&
usr/src/tools/smatch/src/check_locking.c
948
return NEGATIVE;