Defined in 1 files as a function:
Referenced in 26 files:
-
drivers/acpi/osl.c,
line 390
-
drivers/net/macsec.c
-
drivers/xen/events/events_base.c,
line 316
-
fs/aio.c,
line 671
-
kernel/bpf/cpumap.c,
line 529
-
kernel/cgroup/cgroup.c
-
kernel/dma/swiotlb.c,
line 825
-
kernel/sched/ext/ext.c,
line 5230
-
kernel/trace/trace_events_filter.c,
line 1370
-
kernel/trace/trace_events_user.c
-
mm/slab_common.c,
line 1633
-
net/core/skmsg.c,
line 866
-
net/devlink/core.c,
line 344
-
net/ipv4/ipmr_base.c,
line 33
-
net/netfilter/ipset/ip_set_core.c,
line 1196
-
net/netfilter/nfnetlink_queue.c,
line 188
-
net/sched/act_ct.c,
line 384
-
net/sched/cls_basic.c,
line 100
-
net/sched/cls_bpf.c,
line 280
-
net/sched/cls_cgroup.c,
line 70
-
net/sched/cls_flow.c,
line 387
-
net/sched/cls_flower.c
-
net/sched/cls_fw.c,
line 128
-
net/sched/cls_matchall.c,
line 60
-
net/sched/cls_route.c,
line 269
-
net/sched/cls_u32.c
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| DATA_SOURCE |
0 |
work |
$0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| CAPPED_DATA |
0 |
work |
1 |
| DATA_SOURCE |
0 |
work |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|