Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/atomic64_test.c atomic64_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
PARAM_VALUE 0 v 4852880703011659776
PARAM_VALUE 0 v->counter s64min,(-1)-0,1229782938533634594
DATA_SOURCE 0 v $0
HARD_MAX 0 v->counter 1229782938533634594

drivers/md/md-llbitmap.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

fs/nfs/delegation.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
PARAM_VALUE 0 v 1-u64max
DATA_SOURCE 0 v $0
PREEMPT_ADD
LOCK2 &delegation->lock
LOCK2 rcu_read
TYPE_LOCK (struct nfs_delegation)->lock

drivers/md/md.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &md->io_barrier

mm/swapfile.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

block/blk-mq.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock

fs/aio.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
LOCK2 rcu_read

fs/nfsd/nfssvc.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

drivers/pci/p2pdma.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &of->mutex

mm/kasan/kasan_test_c.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

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

drivers/nvme/target/core.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

fs/nfs/flexfilelayout/flexfilelayoutdev.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
PARAM_VALUE 0 v 1-u64max
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

drivers/dma/idxd/submit.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

drivers/target/target_core_alua.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &tg_pt_gp->tg_pt_gp_lock
LOCK2 &tg_pt_gp->tg_pt_gp_transition_mutex
LOCK2 rcu_read
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct t10_alua_tg_pt_gp)->tg_pt_gp_lock
TYPE_LOCK (struct t10_alua_tg_pt_gp)->tg_pt_gp_transition_mutex

drivers/nvme/target/pr.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

block/blk-core.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

kernel/cgroup/cgroup.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &cpuset_top_mutex
HALF_LOCKED2 global &freezer_mutex
HALF_LOCKED2 global &zswap_shrink_lock

kernel/cgroup/cgroup-v1.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
NS_CAPABLE 0 21
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &fc->uapi_mutex

drivers/target/target_core_xcopy.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
LOCK2 &pool->lock
LOCK2 rcu_read

kernel/acct.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
DATA_SOURCE 0 v $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 global &system_transition_mutex

kernel/events/core.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
DATA_SOURCE 0 v $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &parent_ctx->mutex
HALF_LOCKED2 &parent_event->child_mutex
HALF_LOCKED2 &pmu->events_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 rcu_read

drivers/target/target_core_transport.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

mm/memremap.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 global &mf_mutex

drivers/target/target_core_device.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

kernel/cred.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
PARAM_VALUE 0 v 1-u64max
DATA_SOURCE 0 v $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &cgroup_mutex
HALF_LOCKED2 global &oom_lock
HALF_LOCKED2 global &rdtgroup_mutex

drivers/target/target_core_pr.c raw_atomic_long_inc_not_zero() -> raw_atomic64_inc_not_zero()

Type Parameter Key Value
DATA_SOURCE 0 v $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->se_port_lock
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct se_device)->se_port_lock