Home
last modified time | relevance | path

Searched refs:ATOMIC_DEC (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_atomic_inc_dec.c119 if (!start_sm && inc_dec == ATOMIC_DEC) { in db_inc_dec()
203 db_inc_dec(expr, param, key, ATOMIC_DEC); in db_dec()
213 db_inc_dec(expr, 0, "$->counter", ATOMIC_DEC); in match_atomic_dec()
223 db_inc_dec(expr, 1, "$->counter", ATOMIC_DEC); in match_atomic_add()
232 db_inc_dec(expr, 1, "$->counter", ATOMIC_DEC); in match_atomic_sub()
242 db_inc_dec(expr, PTR_INT(param), "$->ref.counter", ATOMIC_DEC); in refcount_dec()
259 db_inc_dec(call_expr, PTR_INT(param), "$->counter", ATOMIC_DEC); in match_implies_atomic_dec()
295 (sm->state == &inc) ? ATOMIC_INC : ATOMIC_DEC, in match_return_info()
438 select_return_states_hook(ATOMIC_DEC, &db_dec); in check_atomic_inc_dec()
H A Dsmatch.h879 ATOMIC_DEC = 8024, enumerator
/illumos-gate/usr/src/uts/common/inet/ipf/netinet/
H A Dip_compat.h263 # define ATOMIC_DEC(x) { mutex_enter(&ipf_rw); (x)--; \ macro
419 # define ATOMIC_DEC(x) { MUTEX_ENTER(&ipf_rw); (x)--; \ macro
575 # define ATOMIC_DEC(x) { MUTEX_ENTER(&ipf_rw); \ macro
587 # define ATOMIC_DEC16 ATOMIC_DEC
697 # define ATOMIC_DEC(x) { simple_lock(&ipf_rw); (x)--; \ macro
932 # define ATOMIC_DEC(x) { mtx_lock(&ipf_rw.ipf_lk); (x)--; \ macro
939 # define ATOMIC_DEC64(x) ATOMIC_DEC(x)
1302 # define ATOMIC_DEC(x) { MUTEX_ENTER(&ipf_rw); (x)--; \ macro
1728 # define ATOMIC_DEC(x) (x)-- macro
1746 # define ATOMIC_DECL ATOMIC_DEC
[all …]