Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
p |
4096-ptr_max |
| PARAM_VALUE |
1 |
context |
2173082709012590592 |
| PARAM_VALUE |
1 |
context->len |
0 |
| PARAM_VALUE |
1 |
context->str |
0 |
| PARAM_VALUE |
2 |
scontext |
2082766081134272512 |
| PARAM_VALUE |
2 |
*scontext |
0 |
| PARAM_VALUE |
2 |
*(*scontext) |
0 |
| PARAM_VALUE |
3 |
scontext_len |
9110877254610018304 |
| BUF_SIZE |
0 |
p |
608 |
| DATA_SOURCE |
1 |
context |
$4 |
| MEM_ZERO |
1 |
context |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| LOCK2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
p |
4096-ptr_max |
| PARAM_VALUE |
1 |
context |
4096-ptr_max |
| PARAM_VALUE |
1 |
context->str |
0 |
| PARAM_VALUE |
2 |
scontext |
5840816332195737600 |
| PARAM_VALUE |
3 |
scontext_len |
8074842693308653568 |
| BUF_SIZE |
0 |
p |
(-1),608 |
| BUF_SIZE |
0 |
p |
(-1),608 |
| BUF_SIZE |
1 |
context |
(-1),144 |
| BUF_SIZE |
1 |
context |
(-1),144 |
| DATA_SOURCE |
0 |
p |
$0 |
| DATA_SOURCE |
1 |
context |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
p |
4096-ptr_max |
| PARAM_VALUE |
0 |
p->class_val_to_struct |
4096-ptr_max |
| PARAM_VALUE |
0 |
p->symtab |
4096-ptr_max |
| PARAM_VALUE |
0 |
p->type_attr_map_array |
4096-ptr_max |
| PARAM_VALUE |
0 |
p->type_val_to_struct |
4096-ptr_max |
| PARAM_VALUE |
1 |
context |
4096-ptr_max |
| PARAM_VALUE |
2 |
scontext |
9218733231246983168 |
| PARAM_VALUE |
2 |
*scontext |
0 |
| PARAM_VALUE |
2 |
*(*scontext) |
0 |
| PARAM_VALUE |
3 |
scontext_len |
5373360613781037056 |
| DATA_SOURCE |
0 |
p |
$0 |
| DATA_SOURCE |
1 |
context |
$1 |
| STR_LEN |
0 |
p |
6 |
| STR_LEN |
0 |
p |
6 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
p |
4096-ptr_max |
| PARAM_VALUE |
0 |
p->class_val_to_struct |
4096-ptr_max |
| PARAM_VALUE |
0 |
p->symtab |
4096-ptr_max |
| PARAM_VALUE |
0 |
p->type_attr_map_array |
4096-ptr_max |
| PARAM_VALUE |
0 |
p->type_val_to_struct |
4096-ptr_max |
| PARAM_VALUE |
1 |
context |
4096-ptr_max |
| PARAM_VALUE |
2 |
scontext |
8310773120219996160 |
| PARAM_VALUE |
2 |
*scontext |
0 |
| PARAM_VALUE |
2 |
*(*scontext) |
0 |
| PARAM_VALUE |
3 |
scontext_len |
5373360613781037056 |
| BUF_SIZE |
1 |
context |
(-1),72 |
| BUF_SIZE |
1 |
context |
(-1),72 |
| DATA_SOURCE |
0 |
p |
$0 |
| DATA_SOURCE |
1 |
context |
$2 |
| STR_LEN |
0 |
p |
6 |
| STR_LEN |
0 |
p |
6 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
p |
4096-ptr_max |
| PARAM_VALUE |
0 |
p->mls_enabled |
s32min-(-1),1-s32max |
| PARAM_VALUE |
1 |
context |
1378894460127510528 |
| PARAM_VALUE |
1 |
context->len |
0 |
| PARAM_VALUE |
1 |
context->str |
0 |
| PARAM_VALUE |
2 |
scontext |
2843439040785346560 |
| PARAM_VALUE |
3 |
scontext_len |
2860265561406943232 |
| BUF_SIZE |
0 |
p |
608 |
| MEM_ZERO |
1 |
context |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| LOCK2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
p |
4096-ptr_max |
| PARAM_VALUE |
1 |
context |
4096-ptr_max |
| PARAM_VALUE |
1 |
context->str |
0 |
| PARAM_VALUE |
2 |
scontext |
8935255192930086912 |
| PARAM_VALUE |
3 |
scontext_len |
1360343351047065600 |
| BUF_SIZE |
1 |
context |
(-1),144 |
| BUF_SIZE |
1 |
context |
(-1),144 |
| DATA_SOURCE |
1 |
context |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&s->lock |
|
| HALF_LOCKED2 |
|
flags |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
p |
8,4096-ptr_max |
| PARAM_VALUE |
1 |
context |
4096-ptr_max |
| PARAM_VALUE |
2 |
scontext |
0,4096-ptr_max |
| PARAM_VALUE |
2 |
*scontext |
0 |
| PARAM_VALUE |
2 |
*(*scontext) |
0-255 |
| PARAM_VALUE |
2 |
**scontext |
0-255 |
| PARAM_VALUE |
3 |
scontext_len |
4096-ptr_max |
| BUF_SIZE |
0 |
p |
608 |
| DATA_SOURCE |
0 |
p |
$0 |
| DATA_SOURCE |
2 |
scontext |
$3 |
| DATA_SOURCE |
3 |
scontext_len |
$4 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| LOCK2 |
|
rcu_read |
|