Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

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

kernel/rcu/tree.c raw_atomic_long_dec_return() -> raw_atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 1555564624214958080
DATA_SOURCE 0 v $0

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 v 7091871478915149896
DATA_SOURCE 0 v $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 v 2651929724255735880
DATA_SOURCE 0 v $0
PREEMPT_ADD

fs/file_table.c raw_atomic_long_dec_return() -> raw_atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
DATA_SOURCE 0 v $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

fs/smb/server/vfs_cache.c raw_atomic_long_dec_return() -> raw_atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 8262406828379795456
DATA_SOURCE 0 v $0

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

Type Parameter Key Value
PARAM_VALUE 0 v 6566449099376926720
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING

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

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

fs/ceph/addr.c raw_atomic_long_dec_return() -> raw_atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING

fs/nfs/write.c raw_atomic_long_dec_return() -> raw_atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING

net/sunrpc/clnt.c raw_atomic_long_dec_return() -> raw_atomic64_dec_return()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock