Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
nents |
0-s32max |
| PARAM_VALUE |
4 |
sizes |
4096-ptr_max |
| PARAM_VALUE |
5 |
splitters |
16,4096-ptr_max |
| PARAM_VALUE |
6 |
mapped |
0 |
| BUF_SIZE |
4 |
sizes |
(-1),16,24 |
| BUF_SIZE |
4 |
sizes |
(-1),16,24 |
| BUF_SIZE |
5 |
splitters |
0-u64max |
| CAPPED_DATA |
3 |
skip |
1 |
| CAPPED_DATA |
3 |
skip |
1 |
| DATA_SOURCE |
0 |
in |
$0 |
| DATA_SOURCE |
2 |
nb_splits |
$3 |
| DATA_SOURCE |
3 |
skip |
$2 |
| DATA_SOURCE |
4 |
sizes |
$4 |
| DATA_SOURCE |
5 |
splitters |
r _kzalloc_noprof |
| NOSPEC |
4 |
*sizes |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
4 |
*sizes |
1-239,256-u16max[c] |
| NO_OVERFLOW_SIMPLE |
2 |
nb_splits |
|
| UNITS |
0 |
in |
unit_byte |
| UNITS |
2 |
nb_splits |
unit_array_size |
| UNITS |
3 |
skip |
unit_byte |
| ELEM_COUNT |
5 |
==splitters2 |
8051 |
| USER_PTR |
4 |
sizes |
|
| HALF_LOCKED2 |
|
&ctlr->io_mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
nents |
s32min-(-1),1-s32max |
| PARAM_VALUE |
3 |
skip |
0 |
| PARAM_VALUE |
4 |
sizes |
4096-ptr_max |
| PARAM_VALUE |
5 |
splitters |
16,4096-ptr_max |
| PARAM_VALUE |
5 |
splitters->in_sg0 |
4096-ptr_max |
| PARAM_VALUE |
5 |
splitters->skip_sg0 |
s64min-4294967295 |
| PARAM_VALUE |
6 |
mapped |
1 |
| BUF_SIZE |
4 |
sizes |
(-1),16,24 |
| BUF_SIZE |
4 |
sizes |
(-1),16,24 |
| BUF_SIZE |
5 |
splitters |
0-u64max |
| CAPPED_DATA |
2 |
nb_splits |
1 |
| DATA_SOURCE |
0 |
in |
$0 |
| DATA_SOURCE |
1 |
nents |
$1 |
| DATA_SOURCE |
2 |
nb_splits |
$3 |
| DATA_SOURCE |
3 |
skip |
$2 |
| DATA_SOURCE |
4 |
sizes |
$4 |
| DATA_SOURCE |
5 |
splitters |
r _kzalloc_noprof |
| NOSPEC |
4 |
*sizes |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
4 |
*sizes |
1-239,256-u16max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
nents |
|
| NO_OVERFLOW_SIMPLE |
2 |
nb_splits |
|
| UNITS |
0 |
in |
unit_byte |
| UNITS |
2 |
nb_splits |
unit_array_size |
| USER_PTR |
4 |
sizes |
|
| HALF_LOCKED2 |
|
&ctlr->io_mutex |
|