Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
s |
4096-ptr_max |
| PARAM_VALUE |
1 |
slab |
4096-ptr_max |
| PARAM_VALUE |
2 |
old |
7685255224815501312 |
| PARAM_VALUE |
2 |
old->freelist_counters |
0-9223372036854775807 |
| PARAM_VALUE |
3 |
new |
5250330750487171072 |
| PARAM_VALUE |
4 |
n |
252087534072193024 |
| BUF_SIZE |
4 |
n |
12 |
| DATA_SOURCE |
0 |
s |
$0 |
| DATA_SOURCE |
1 |
slab |
$1 |
| STR_LEN |
0 |
s |
(-1) |
| STR_LEN |
0 |
s |
(-1) |
| STR_LEN |
1 |
slab |
11 |
| TERMINATED |
4 |
n |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NO_OVERFLOW_SIMPLE |
0 |
s->object_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
s->sheaf_capacity |
|
| HALF_LOCKED2 |
|
&n->list_lock |
|
| HALF_LOCKED2 |
|
flags |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
s |
4096-ptr_max |
| PARAM_VALUE |
1 |
slab |
4096-ptr_max |
| PARAM_VALUE |
1 |
slab->freelist |
0 |
| PARAM_VALUE |
2 |
old |
8383031131090526208 |
| PARAM_VALUE |
2 |
old->freelist |
0 |
| PARAM_VALUE |
3 |
new |
4270668882664087552 |
| PARAM_VALUE |
4 |
n |
2551875670842396672 |
| BUF_SIZE |
4 |
n |
27 |
| CAPPED_DATA |
0 |
s |
1 |
| DATA_SOURCE |
0 |
s |
$0 |
| DATA_SOURCE |
1 |
slab |
$1 |
| STR_LEN |
0 |
s |
26 |
| TERMINATED |
4 |
n |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NO_OVERFLOW_SIMPLE |
0 |
s->object_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
s->sheaf_capacity |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
s |
4096-ptr_max |
| PARAM_VALUE |
1 |
slab |
4096-ptr_max |
| PARAM_VALUE |
2 |
old |
8057721590066991104 |
| PARAM_VALUE |
2 |
old->freelist_counters |
0-9223372036854775807 |
| PARAM_VALUE |
3 |
new |
1164042198752473088 |
| PARAM_VALUE |
3 |
new->freelist |
0 |
| PARAM_VALUE |
3 |
new->inuse |
0-s16max |
| PARAM_VALUE |
4 |
n |
4187491684190879744 |
| BUF_SIZE |
4 |
n |
22 |
| CAPPED_DATA |
0 |
s |
1 |
| DATA_SOURCE |
0 |
s |
$0 |
| DATA_SOURCE |
1 |
slab |
$1 |
| STR_LEN |
0 |
s |
21 |
| TERMINATED |
4 |
n |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NO_OVERFLOW_SIMPLE |
0 |
s->object_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
s->sheaf_capacity |
|