Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
usr_ptr |
1-u64max |
| PARAM_VALUE |
3 |
kern_size |
112 |
| PARAM_VALUE |
4 |
in |
4096-ptr_max |
| BUF_SIZE |
4 |
in |
112 |
| USER_DATA |
0 |
usr_ptr |
1-u64max[u] |
| USER_DATA |
1 |
usr_size |
0-u32max[u] |
| UNITS |
1 |
usr_size |
unit_byte |
| UNITS |
3 |
kern_size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
usr_ptr |
1-u64max |
| PARAM_VALUE |
3 |
kern_size |
24 |
| PARAM_VALUE |
4 |
in |
4096-ptr_max |
| BUF_SIZE |
4 |
in |
24 |
| USER_DATA |
0 |
usr_ptr |
1-u64max[u] |
| USER_DATA |
1 |
usr_size |
0-u32max[u] |
| UNITS |
1 |
usr_size |
unit_byte |
| UNITS |
3 |
kern_size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
usr_ptr |
1-u64max |
| PARAM_VALUE |
1 |
usr_size |
8-56 |
| PARAM_VALUE |
3 |
kern_size |
56 |
| PARAM_VALUE |
4 |
in |
4133422501857652736 |
| BUF_SIZE |
4 |
in |
56 |
| CAPPED_DATA |
1 |
usr_size |
1 |
| NOSPEC |
1 |
usr_size |
|
| NOSPEC |
1 |
usr_size |
|
| USER_DATA |
0 |
usr_ptr |
1-u64max[u] |
| USER_DATA |
1 |
usr_size |
8-56[c] |
| NO_OVERFLOW_SIMPLE |
1 |
usr_size |
|
| UNITS |
1 |
usr_size |
unit_byte |
| UNITS |
3 |
kern_size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
usr_ptr |
1-u64max |
| PARAM_VALUE |
3 |
kern_size |
4 |
| PARAM_VALUE |
4 |
in |
6680984382121590784 |
| BUF_SIZE |
4 |
in |
4 |
| MEM_ZERO |
4 |
in |
|
| USER_DATA |
0 |
usr_ptr |
1-u64max[u] |
| USER_DATA |
1 |
usr_size |
0-u32max[u] |
| UNITS |
1 |
usr_size |
unit_byte |
| UNITS |
3 |
kern_size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
usr_ptr |
1-u64max |
| PARAM_VALUE |
3 |
kern_size |
8 |
| PARAM_VALUE |
4 |
in |
4096-ptr_max |
| BUF_SIZE |
4 |
in |
8 |
| USER_DATA |
0 |
usr_ptr |
1-u64max[u] |
| USER_DATA |
1 |
usr_size |
0-u32max[u] |
| UNITS |
1 |
usr_size |
unit_byte |
| UNITS |
3 |
kern_size |
unit_byte |