Symbol: POSITIVE
usr/src/tools/smatch/src/check_atomic_inc_dec.c
301
EMPTY, NEGATIVE, ZERO, POSITIVE, NUM_BUCKETS
usr/src/tools/smatch/src/check_locking.c
929
ERR_PTR, VALID_PTR, NEGATIVE, ZERO, POSITIVE, NUM_BUCKETS,