Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/core/sock_diag.c gen_cookie_next() -> atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 5079040435271131208
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 rcu_read

lib/atomic64_test.c test_atomic64() -> atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 4852880703011659776
PARAM_VALUE 0 v->counter (-6151051535892492275)

fs/pidfs.c gen_cookie_next() -> atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 7091871478915149896
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/syscall.c gen_cookie_next() -> atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 2651929724255735880
PREEMPT_ADD

drivers/xen/grant-table.c gnttab_handle_deferred() -> atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 6566449099376926720
RX_PATH
TASK_NOT_RUNNING

fs/ceph/addr.c writepages_finish() -> atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
HALF_LOCKED2 &pool->lock