Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
args |
5223566199992381440 |
| PARAM_VALUE |
0 |
args->mp |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->mp->m_rsumlevels |
1-u32max |
| PARAM_VALUE |
0 |
args->rbmbp |
0 |
| PARAM_VALUE |
0 |
args->rbmoff |
0,u64max |
| PARAM_VALUE |
0 |
args->rtg |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->sumbp |
0 |
| PARAM_VALUE |
0 |
args->sumoff |
0,u64max |
| PARAM_VALUE |
0 |
args->tp |
4096-ptr_max |
| PARAM_VALUE |
1 |
l |
0-s32max |
| PARAM_VALUE |
5 |
len |
4272681927299928064 |
| PARAM_VALUE |
6 |
rtx |
2996683805917167616 |
| CAPPED_DATA |
1 |
l |
1 |
| DATA_SOURCE |
0 |
args |
$0 |
| DATA_SOURCE |
2 |
minlen |
$1 |
| DATA_SOURCE |
3 |
maxlen |
$2 |
| DATA_SOURCE |
4 |
prod |
$4 |
| DATA_SOURCE |
5 |
len |
$3 |
| DATA_SOURCE |
6 |
rtx |
$5 |
| PARAM_COMPARE |
0 |
args->mp->m_rsumlevels |
> $1 |
| PARAM_COMPARE |
1 |
l |
< $0->mp->m_rsumlevels |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
args |
5223566199992381440 |
| PARAM_VALUE |
0 |
args->mp |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->rbmbp |
0 |
| PARAM_VALUE |
0 |
args->rbmoff |
0,u64max |
| PARAM_VALUE |
0 |
args->rtg |
4096-ptr_max |
| PARAM_VALUE |
0 |
args->sumbp |
0 |
| PARAM_VALUE |
0 |
args->sumoff |
0,u64max |
| PARAM_VALUE |
0 |
args->tp |
4096-ptr_max |
| PARAM_VALUE |
1 |
l |
(-1)-31 |
| PARAM_VALUE |
5 |
len |
4272681927299928064 |
| PARAM_VALUE |
6 |
rtx |
2996683805917167616 |
| CAPPED_DATA |
0 |
args->mp->m_rsumlevels |
1 |
| CAPPED_DATA |
3 |
maxlen |
1 |
| DATA_SOURCE |
0 |
args |
$0 |
| DATA_SOURCE |
4 |
prod |
$4 |
| DATA_SOURCE |
5 |
len |
$3 |
| DATA_SOURCE |
6 |
rtx |
$5 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|