Symbol: POSITIVE
usr/src/tools/smatch/src/check_atomic_inc_dec.c
315
return POSITIVE;
usr/src/tools/smatch/src/check_locking.c
1055
(unlocked_buckets[ZERO] || unlocked_buckets[POSITIVE]))
usr/src/tools/smatch/src/check_locking.c
966
return POSITIVE;