Symbol: raw_atomic_dec_unless_positive