Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
p |
4096-ptr_max |
| PARAM_VALUE |
2 |
size |
4096 |
| PARAM_VALUE |
3 |
used |
497711021273870336 |
| PARAM_VALUE |
3 |
*used |
0-24570 |
| PARAM_VALUE |
5 |
hfi |
0-1 |
| PARAM_VALUE |
6 |
flag |
1 |
| PARAM_VALUE |
7 |
what |
7339876004751474688 |
| BUF_SIZE |
1 |
p |
4096 |
| BUF_SIZE |
1 |
p |
4096 |
| BUF_SIZE |
7 |
what |
5 |
| DATA_SOURCE |
0 |
scratch0 |
r read_csr |
| DATA_SOURCE |
1 |
p |
r _kmalloc_noprof |
| FUZZY_MAX |
5 |
hfi |
1 |
| STR_LEN |
0 |
scratch0 |
4 |
| TERMINATED |
7 |
what |
1 |
| HARD_MAX |
5 |
hfi |
1 |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
scratch0 |
0-u64max |
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
p |
4096-ptr_max |
| PARAM_VALUE |
2 |
size |
4096 |
| PARAM_VALUE |
3 |
used |
497711021273870336 |
| PARAM_VALUE |
3 |
*used |
0-28665 |
| PARAM_VALUE |
5 |
hfi |
0-1 |
| PARAM_VALUE |
6 |
flag |
2 |
| PARAM_VALUE |
7 |
what |
6045055994282221568 |
| BUF_SIZE |
1 |
p |
4096 |
| BUF_SIZE |
1 |
p |
4096 |
| BUF_SIZE |
7 |
what |
6 |
| CAPPED_DATA |
5 |
hfi |
1 |
| DATA_SOURCE |
0 |
scratch0 |
r read_csr |
| DATA_SOURCE |
1 |
p |
r _kmalloc_noprof |
| FUZZY_MAX |
5 |
hfi |
1 |
| STR_LEN |
0 |
scratch0 |
5 |
| TERMINATED |
7 |
what |
1 |
| HARD_MAX |
5 |
hfi |
1 |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
scratch0 |
0-u64max |
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
p |
4096-ptr_max |
| PARAM_VALUE |
2 |
size |
4096 |
| PARAM_VALUE |
3 |
used |
497711021273870336 |
| PARAM_VALUE |
3 |
*used |
0-32760 |
| PARAM_VALUE |
5 |
hfi |
0-1 |
| PARAM_VALUE |
6 |
flag |
4 |
| PARAM_VALUE |
7 |
what |
3170325283453997056 |
| BUF_SIZE |
1 |
p |
4096 |
| BUF_SIZE |
1 |
p |
4096 |
| BUF_SIZE |
7 |
what |
12 |
| CAPPED_DATA |
5 |
hfi |
1 |
| DATA_SOURCE |
0 |
scratch0 |
r read_csr |
| DATA_SOURCE |
1 |
p |
r _kmalloc_noprof |
| FUZZY_MAX |
5 |
hfi |
1 |
| STR_LEN |
0 |
scratch0 |
11 |
| TERMINATED |
7 |
what |
1 |
| HARD_MAX |
5 |
hfi |
1 |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
scratch0 |
0-u64max |
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
p |
4096-ptr_max |
| PARAM_VALUE |
2 |
size |
4096 |
| PARAM_VALUE |
3 |
used |
497711021273870336 |
| PARAM_VALUE |
3 |
*used |
0-36855 |
| PARAM_VALUE |
5 |
hfi |
0-1 |
| PARAM_VALUE |
6 |
flag |
8 |
| PARAM_VALUE |
7 |
what |
4209147826411433984 |
| BUF_SIZE |
1 |
p |
4096 |
| BUF_SIZE |
1 |
p |
4096 |
| BUF_SIZE |
7 |
what |
12 |
| CAPPED_DATA |
5 |
hfi |
1 |
| DATA_SOURCE |
0 |
scratch0 |
r read_csr |
| DATA_SOURCE |
1 |
p |
r _kmalloc_noprof |
| FUZZY_MAX |
5 |
hfi |
1 |
| STR_LEN |
0 |
scratch0 |
11 |
| TERMINATED |
7 |
what |
1 |
| HARD_MAX |
5 |
hfi |
1 |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
scratch0 |
0-u64max |
| UNITS |
2 |
size |
unit_byte |
