Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
42 |
| PARAM_VALUE |
2 |
param |
4096-ptr_max |
| PARAM_VALUE |
4 |
max_param_num |
1 |
| PARAM_VALUE |
5 |
param_nums |
8103420567985848320 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
42 |
| PARAM_VALUE |
2 |
param |
4096-ptr_max |
| PARAM_VALUE |
4 |
max_param_num |
1 |
| PARAM_VALUE |
5 |
param_nums |
7853514110524305408 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
42 |
| PARAM_VALUE |
2 |
param |
6605244786794577920 |
| PARAM_VALUE |
4 |
max_param_num |
1 |
| PARAM_VALUE |
5 |
param_nums |
288037271866601472 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
42 |
| PARAM_VALUE |
2 |
param |
4096-ptr_max |
| PARAM_VALUE |
4 |
max_param_num |
1 |
| PARAM_VALUE |
5 |
param_nums |
8777328552368971776 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
42 |
| PARAM_VALUE |
2 |
param |
4096-ptr_max |
| PARAM_VALUE |
4 |
max_param_num |
1 |
| PARAM_VALUE |
5 |
param_nums |
7643966821232738304 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
40 |
| PARAM_VALUE |
2 |
param |
4367160710628085760 |
| PARAM_VALUE |
4 |
max_param_num |
2 |
| PARAM_VALUE |
5 |
param_nums |
4678624781642625024 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| BUF_SIZE |
2 |
param |
16 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
42 |
| PARAM_VALUE |
2 |
param |
4096-ptr_max |
| PARAM_VALUE |
4 |
max_param_num |
1 |
| PARAM_VALUE |
5 |
param_nums |
6940083259608211456 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
40 |
| PARAM_VALUE |
2 |
param |
1461954808524447744 |
| PARAM_VALUE |
4 |
max_param_num |
2 |
| PARAM_VALUE |
5 |
param_nums |
4932101501454843904 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| BUF_SIZE |
2 |
param |
16 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
40 |
| PARAM_VALUE |
2 |
param |
379176895484760064 |
| PARAM_VALUE |
4 |
max_param_num |
3 |
| PARAM_VALUE |
5 |
param_nums |
8564302432779956224 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| BUF_SIZE |
2 |
param |
24 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
100 |
| PARAM_VALUE |
2 |
param |
4096-ptr_max |
| PARAM_VALUE |
4 |
max_param_num |
11 |
| PARAM_VALUE |
5 |
param_nums |
892364891480489984 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| BUF_SIZE |
2 |
param |
88 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
40 |
| PARAM_VALUE |
2 |
param |
3406386708212740096 |
| PARAM_VALUE |
4 |
max_param_num |
2 |
| PARAM_VALUE |
5 |
param_nums |
3720425049882464256 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| BUF_SIZE |
2 |
param |
16 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
40 |
| PARAM_VALUE |
2 |
param |
3647238283885367296 |
| PARAM_VALUE |
4 |
max_param_num |
1 |
| PARAM_VALUE |
5 |
param_nums |
2970643767685357568 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| BUF_SIZE |
2 |
param |
16 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
wr_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
wr_buf_size |
42 |
| PARAM_VALUE |
2 |
param |
4096-ptr_max |
| PARAM_VALUE |
4 |
max_param_num |
1 |
| PARAM_VALUE |
5 |
param_nums |
3390705922913181696 |
| PARAM_VALUE |
5 |
*param_nums |
0 |
| BUF_SIZE |
0 |
wr_buf |
1 |
| CAPPED_DATA |
3 |
buf |
1 |
| DATA_SOURCE |
0 |
wr_buf |
r _kmalloc_array_noprof |
| DATA_SOURCE |
3 |
buf |
$1 |
| USER_DATA |
3 |
buf |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
1 |
wr_buf_size |
|