Symbol: success_fail_positive
usr/src/tools/smatch/src/check_atomic_inc_dec.c
364
bucket = success_fail_positive(estate_rl(return_sm->state));
usr/src/tools/smatch/src/check_locking.c
1033
bucket = success_fail_positive(estate_rl(return_sm->state));