Documented in 1 files:
Defined in 1 files as a function:
Referenced in 16 files:
-
arch/arm/include/asm/xen/events.h,
line 20
-
arch/arm/mm/context.c
-
arch/loongarch/kvm/intc/dmsintc.c,
line 22
-
arch/mips/net/bpf_jit_comp32.c,
line 793
-
drivers/gpu/drm/amd/amdgpu/amdgpu_vm.c,
line 1709
-
drivers/gpu/drm/radeon/radeon_fence.c,
line 251
-
drivers/pci/endpoint/functions/pci-epf-vntb.c,
line 1533
-
drivers/scsi/lpfc/lpfc_init.c
-
fs/afs/internal.h,
line 1821
-
include/asm-generic/local64.h,
line 94
-
kernel/bpf/core.c,
line 2336
-
kernel/sched/ext/ext.c,
line 1376
-
net/netfilter/nf_conntrack_netlink.c
-
net/netfilter/nfnetlink_acct.c
-
net/netfilter/nft_quota.c,
line 148
-
rust/helpers/atomic.c,
line 887
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| PARAM_VALUE |
1 |
new |
s64min-(-1),1-s64max |
| CAPPED_DATA |
1 |
new |
1 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HOST_DATA |
1 |
new |
2-s32max[c] |
| HALF_LOCKED2 |
|
&rdev->exclusive_lock |
|
| HALF_LOCKED2 |
|
flags |
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4852880703011659776 |
| PARAM_VALUE |
0 |
v->counter |
(-6151051535892492275) |
| PARAM_VALUE |
1 |
new |
(-2401053088876082434) |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| PARAM_VALUE |
1 |
new |
s64min |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| LOCK2 |
|
&vnode->cb_lock.lock |
|
| HALF_LOCKED2 |
|
&dvnode->rmdir_lock |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| HALF_LOCKED2 |
|
&target->i_rwsem |
|
| TYPE_LOCK |
|
(struct seqlock)->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&dqm->lock_hidden |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
new |
0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
new |
0 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| PARAM_VALUE |
1 |
new |
0 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| PARAM_VALUE |
1 |
new |
s64min |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&vnode->cb_lock.lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| PARAM_VALUE |
1 |
new |
0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| PARAM_VALUE |
1 |
new |
0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
new |
0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| PARAM_VALUE |
1 |
new |
0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| PARAM_VALUE |
1 |
new |
0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| PARAM_VALUE |
1 |
new |
0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| PARAM_VALUE |
1 |
new |
s64min |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&dvnode->rmdir_lock |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| HALF_LOCKED2 |
|
&target->i_rwsem |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
v |
4096-ptr_max |
| PARAM_VALUE |
1 |
new |
s64min |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&vnode->cb_lock.lock |
|
| HALF_LOCKED2 |
|
&volume->open_mmaps_lock |
|