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
418 # define ATOMIC_DEC(x) { MUTEX_ENTER(&ipf_rw); (x)--; \ macro
574 # define ATOMIC_DEC(x) { MUTEX_ENTER(&ipf_rw); \ macro
586 # define ATOMIC_DEC16 ATOMIC_DEC
696 # define ATOMIC_DEC(x) { simple_lock(&ipf_rw); (x)--; \ macro
938 # define ATOMIC_DEC64(x) ATOMIC_DEC(x)
1726 # define ATOMIC_DEC(x) (x)-- macro
1744 # define ATOMIC_DECL ATOMIC_DEC
1745 # define ATOMIC_DEC64 ATOMIC_DEC
1746 # define ATOMIC_DEC32 ATOMIC_DEC
[all …]