Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/erofs/zdata.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 3486703311589339136 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &(&sbi->managed_pslots)->xa_lock | ||
| HALF_LOCKED2 | &pcl->lockref.lock |
mm/slub.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &n->list_lock | ||
| HALF_LOCKED2 | flags |
fs/nfs/delegation.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &delegation->lock | ||
| HALF_LOCKED2 | rcu_read |
net/packet/af_packet.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/sunrpc/xprt.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &xprt->queue_lock | ||
| TYPE_LOCK | (struct rpc_xprt)->queue_lock |
mm/kfence/core.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 6987295999557009408 |
| BUF_SIZE | 0 | v | 64 |
| BUF_SIZE | 0 | v | 64 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/inode.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
mm/zswap.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 1786556180034670592,5518317967423553536 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/nfsd/nfs4state.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 7019126119430201344 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
kernel/ucount.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &group->mark_mutex |
fs/nfs/nfs42xattr.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &bucket->lock | ||
| TYPE_LOCK | (struct nfs4_xattr_bucket)->lock |
mm/kasan/kasan_test_c.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| NOCHECK_CALL |
fs/ubifs/tnc_commit.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &c->commit_sem | ||
| LOCK2 | &c->tnc_mutex | ||
| HALF_LOCKED2 | &c->umount_mutex | ||
| HALF_LOCKED2 | &c->write_reserve_mutex | ||
| TYPE_LOCK | (struct ubifs_info)->commit_sem | ||
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
net/unix/af_unix.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 1696134431358308352 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
mm/list_lru.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
mm/memory.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | ptl | ||
| HALF_LOCKED2 | vmf->ptl |
fs/nfs/dir.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 2207855199663185920 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
arch/x86/kernel/cpu/sgx/main.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 3395242413915561984 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &encl->lock | ||
| HALF_LOCKED2 | &vepc->lock |
fs/nfs/write.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/ubifs/file.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-bufio.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 0 | v->counter | s64min-(-1),1-s64max |
| DATA_SOURCE | 0 | v | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/ubifs/tnc.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &c->tnc_mutex | ||
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
net/sunrpc/clnt.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
fs/notify/mark.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &(*connp)->lock | ||
| HALF_LOCKED2 | &conn->lock | ||
| HALF_LOCKED2 | &mark->lock |
mm/khugepaged.c atomic_long_dec() -> raw_atomic_long_dec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &vma->anon_vma->root->rwsem | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |