Defined in 3 files as a function:
Referenced in 3 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| BUF_SIZE |
0 |
name |
80 |
| BUF_SIZE |
0 |
name |
80 |
| DATA_SOURCE |
0 |
name |
$2 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&buffer->mutex |
|
| HALF_LOCKED2 |
|
&frag->frag_sem |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
name |
548017199518150656 |
| BUF_SIZE |
0 |
name |
6 |
| BUF_SIZE |
0 |
name |
6 |
| DATA_SOURCE |
0 |
name |
$0 |
| STR_LEN |
0 |
name |
5 |
| STR_LEN |
0 |
name |
5 |
| TERMINATED |
0 |
name |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&buffer->mutex |
|
| HALF_LOCKED2 |
|
&frag->frag_sem |
|
| Type |
Parameter |
Key |
Value |
| BUF_SIZE |
0 |
name |
80 |
| BUF_SIZE |
0 |
name |
80 |
| DATA_SOURCE |
0 |
name |
$2 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&buffer->mutex |
|
| HALF_LOCKED2 |
|
&frag->frag_sem |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
name |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->label.rules |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->mode |
s64min-2,4-s64max |
| PARAM_VALUE |
1 |
tp |
4096-ptr_max |
| CAPPED_DATA |
0 |
name->ns |
1 |
| DATA_SOURCE |
0 |
name |
$0 |
| DATA_SOURCE |
2 |
stack |
$2 |
| DATA_SOURCE |
3 |
state |
$3 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
name |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->label.rules |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->mode |
s64min-2,4-s64max |
| PARAM_VALUE |
1 |
tp |
4096-ptr_max |
| PARAM_VALUE |
1 |
*tp->base.hname |
0 |
| CAPPED_DATA |
0 |
name->ns |
1 |
| DATA_SOURCE |
0 |
name |
$0 |
| DATA_SOURCE |
2 |
stack |
$2 |
| DATA_SOURCE |
3 |
state |
$3 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
name |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->label.rules |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->mode |
s64min-2,4-s64max |
| PARAM_VALUE |
1 |
tp |
4096-ptr_max |
| CAPPED_DATA |
0 |
name->ns |
1 |
| DATA_SOURCE |
0 |
name |
$0 |
| DATA_SOURCE |
2 |
stack |
$2 |
| DATA_SOURCE |
3 |
state |
$3 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
name |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->label.rules |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->mode |
s64min-2,4-s64max |
| PARAM_VALUE |
1 |
tp |
4096-ptr_max |
| PARAM_VALUE |
1 |
*tp->base.hname |
0 |
| PARAM_VALUE |
2 |
stack |
0 |
| CAPPED_DATA |
0 |
name->ns |
1 |
| DATA_SOURCE |
0 |
name |
$0 |
| DATA_SOURCE |
3 |
state |
r aa_dfa_match |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
name |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->label.rules |
4096-ptr_max |
| PARAM_VALUE |
1 |
tp |
4096-ptr_max |
| PARAM_VALUE |
1 |
tp->policy |
4096-ptr_max |
| PARAM_VALUE |
2 |
stack |
4096-ptr_max |
| CAPPED_DATA |
0 |
name->ns |
1 |
| CAPPED_DATA |
2 |
stack->ns |
1 |
| DATA_SOURCE |
0 |
name |
$0 |
| DATA_SOURCE |
1 |
tp |
$1 |
| DATA_SOURCE |
3 |
state |
$3 |
| PARAM_COMPARE |
0 |
name->ns |
== $2->ns |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
name |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->label.rules |
4096-ptr_max |
| PARAM_VALUE |
1 |
tp |
4096-ptr_max |
| PARAM_VALUE |
1 |
tp->policy |
4096-ptr_max |
| PARAM_VALUE |
1 |
tp->policy->dfa |
4096-ptr_max |
| PARAM_VALUE |
1 |
tp->policy->perms |
0,4096-ptr_max |
| PARAM_VALUE |
2 |
stack |
4096-ptr_max |
| PARAM_VALUE |
2 |
*stack->base.hname |
0 |
| CAPPED_DATA |
0 |
name->ns |
1 |
| CAPPED_DATA |
2 |
stack->ns |
1 |
| DATA_SOURCE |
0 |
name |
$0 |
| DATA_SOURCE |
1 |
tp |
$1 |
| DATA_SOURCE |
3 |
state |
$3 |
| PARAM_COMPARE |
0 |
name->ns |
== $2->ns |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
name |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->label.rules |
4096-ptr_max |
| PARAM_VALUE |
1 |
tp |
4096-ptr_max |
| PARAM_VALUE |
1 |
tp->policy |
4096-ptr_max |
| PARAM_VALUE |
2 |
stack |
4096-ptr_max |
| CAPPED_DATA |
0 |
name->ns |
1 |
| CAPPED_DATA |
2 |
stack->ns |
1 |
| DATA_SOURCE |
0 |
name |
$0 |
| DATA_SOURCE |
1 |
tp |
$1 |
| DATA_SOURCE |
3 |
state |
$3 |
| PARAM_COMPARE |
0 |
name->ns |
== $2->ns |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
name |
4096-ptr_max |
| PARAM_VALUE |
0 |
name->label.rules |
4096-ptr_max |
| PARAM_VALUE |
1 |
tp |
4096-ptr_max |
| PARAM_VALUE |
1 |
tp->policy |
4096-ptr_max |
| PARAM_VALUE |
1 |
tp->policy->dfa |
4096-ptr_max |
| PARAM_VALUE |
2 |
stack |
4096-ptr_max |
| PARAM_VALUE |
2 |
*stack->base.hname |
0 |
| CAPPED_DATA |
0 |
name->ns |
1 |
| CAPPED_DATA |
2 |
stack->ns |
1 |
| DATA_SOURCE |
0 |
name |
$0 |
| DATA_SOURCE |
1 |
tp |
$1 |
| DATA_SOURCE |
3 |
state |
r aa_dfa_match |
| PARAM_COMPARE |
0 |
name->ns |
== $2->ns |