Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/atomic64_test.c atomic_sub_return_relaxed() -> raw_atomic_sub_return_relaxed()

Type Parameter Key Value
PARAM_VALUE 0 i (-1),286335522
PARAM_VALUE 1 v 244908970501345280
PARAM_VALUE 1 v->counter (-1432153289)
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
HARD_MAX 0 i 286335522

lib/atomic64_test.c raw_atomic_dec_return_relaxed() -> raw_atomic_sub_return_relaxed()

Type Parameter Key Value
PARAM_VALUE 0 i 1
PARAM_VALUE 1 v 244908970501345280
PARAM_VALUE 1 v->counter (-1432153289)
DATA_SOURCE 1 v $0

drivers/iommu/iommu-debug-pagealloc.c raw_atomic_dec_return_relaxed() -> raw_atomic_sub_return_relaxed()

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

mm/rmap.c atomic_sub_return_relaxed() -> raw_atomic_sub_return_relaxed()

Type Parameter Key Value
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1

kernel/events/hw_breakpoint.c raw_atomic_dec_return_relaxed() -> raw_atomic_sub_return_relaxed()

Type Parameter Key Value
PARAM_VALUE 0 i 1
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bp->child_mutex
HALF_LOCKED2 &bp->group_leader->ctx->mutex

net/netfilter/nf_conntrack_labels.c raw_atomic_dec_return_relaxed() -> raw_atomic_sub_return_relaxed()

Type Parameter Key Value
PARAM_VALUE 0 i 1
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 1 v $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &ovs_mutex
HALF_LOCKED2 global &pernet_ops_rwsem