Defined in 1 files as a function:
Referenced in 5 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
5086374328987889664 |
| PARAM_VALUE |
2 |
size |
0-16 |
| BUF_SIZE |
0 |
dst |
16 |
| CAPPED_DATA |
2 |
size |
1 |
| DATA_SOURCE |
1 |
src |
r make_bpfptr |
| BIT_INFO |
1 |
src |
0x0,0x0 |
| NO_OVERFLOW_SIMPLE |
2 |
size |
|
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
8585101116583235584 |
| PARAM_VALUE |
2 |
size |
0-168 |
| BUF_SIZE |
0 |
dst |
168 |
| CAPPED_DATA |
2 |
size |
1 |
| DATA_SOURCE |
1 |
src |
$1 |
| DATA_SOURCE |
2 |
size |
$2 [m] |
| BIT_INFO |
1 |
src |
0x0,0x0 |
| USER_DATA |
2 |
size |
0-167[c] |
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
1521956271005634560 |
| PARAM_VALUE |
2 |
size |
0-24 |
| BUF_SIZE |
0 |
dst |
24 |
| CAPPED_DATA |
2 |
size |
1 |
| DATA_SOURCE |
1 |
src |
$3 |
| DATA_SOURCE |
2 |
size |
$4 [m] |
| BIT_INFO |
1 |
src |
0x0,0x0 |
| MEM_ZERO |
0 |
dst |
|
| USER_DATA |
2 |
size |
0-23[c] |
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
2 |
size |
8-8000000 |
| CAPPED_DATA |
2 |
size |
1 |
| BIT_INFO |
1 |
src |
0x0,0x0 |
| BIT_INFO |
2 |
size |
0x0,0x7fffff |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
1-18446744073709551614 |
| BUF_SIZE |
0 |
dst |
0-u64max |
| DATA_SOURCE |
0 |
dst |
r __kvmalloc_node_noprof |
| DATA_SOURCE |
1 |
src |
$0 |
| DATA_SOURCE |
2 |
size |
$1 |
| PARAM_COMPARE |
0 |
dst |
== $2 |
| BIT_INFO |
1 |
src |
0x0,0x0 |
| UNITS |
2 |
size |
unit_byte |
| BYTE_COUNT |
0 |
==dst2 |
8050 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
4096-ptr_max |
| PARAM_VALUE |
2 |
size |
32 |
| BUF_SIZE |
0 |
dst |
32 |
| DATA_SOURCE |
0 |
dst |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
src |
r make_bpfptr |
| BIT_INFO |
1 |
src |
0x0,0x0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
1-18446744073709551614 |
| PARAM_VALUE |
2 |
size |
0-16777216 |
| BUF_SIZE |
0 |
dst |
0-16777216 |
| CAPPED_DATA |
2 |
size |
1 |
| DATA_SOURCE |
0 |
dst |
r __kvmalloc_node_noprof |
| DATA_SOURCE |
1 |
src |
r make_bpfptr |
| FUZZY_MAX |
2 |
size |
16777216 |
| BIT_INFO |
1 |
src |
0x0,0x0 |
| UNITS |
2 |
size |
unit_byte |
| BYTE_COUNT |
0 |
==dst2 |
8050 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
4096-ptr_max |
| PARAM_VALUE |
2 |
size |
16 |
| DATA_SOURCE |
1 |
src |
r make_bpfptr |
| BIT_INFO |
1 |
src |
0x0,0x0 |
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
1120792129295384576 |
| PARAM_VALUE |
2 |
size |
16 |
| BUF_SIZE |
0 |
dst |
16 |
| DATA_SOURCE |
1 |
src |
r make_bpfptr |
| BIT_INFO |
1 |
src |
0x0,0x0 |
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
4096-ptr_max |
| PARAM_VALUE |
2 |
size |
8 |
| DATA_SOURCE |
1 |
src |
r make_bpfptr |
| BIT_INFO |
1 |
src |
0x0,0x0 |
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
1-18446744073709551614 |
| PARAM_VALUE |
2 |
size |
1-8192 |
| BUF_SIZE |
0 |
dst |
1-8192 |
| BUF_SIZE |
0 |
dst |
1-8192 |
| CAPPED_DATA |
2 |
size |
1 |
| CAPPED_DATA |
2 |
size |
1 |
| DATA_SOURCE |
0 |
dst |
r __kvmalloc_node_noprof |
| DATA_SOURCE |
1 |
src |
$0 |
| DATA_SOURCE |
2 |
size |
$1 |
| FUZZY_MAX |
2 |
size |
8192 |
| PARAM_COMPARE |
0 |
dst |
== $2 |
| BIT_INFO |
1 |
src |
0x0,0x0 |
| UNITS |
2 |
size |
unit_byte |
| BYTE_COUNT |
0 |
==dst2 |
8050 |