Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
vpg3 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-6,2147483648-u32max |
| PARAM_VALUE |
3 |
vpg_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
vpg_shift |
6803391169528045568 |
| PARAM_VALUE |
5 |
vpg_mask |
5457005770177155072 |
| BUF_SIZE |
0 |
vpg3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
vpg3 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
vpg3 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
3 |
vpg_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
vpg_shift |
8049175411196899328 |
| PARAM_VALUE |
5 |
vpg_mask |
164031424175665152 |
| BUF_SIZE |
0 |
vpg3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
vpg3 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
inst |
unit_array_size |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
vpg3 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-2,2147483648-u32max |
| PARAM_VALUE |
3 |
vpg_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
vpg_shift |
3223624329949306880 |
| PARAM_VALUE |
5 |
vpg_mask |
747876132564455424 |
| BUF_SIZE |
0 |
vpg3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
vpg3 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
vpg3 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-5,2147483648-u32max |
| PARAM_VALUE |
3 |
vpg_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
vpg_shift |
5146759264354697216 |
| PARAM_VALUE |
5 |
vpg_mask |
1901121535910952960 |
| BUF_SIZE |
0 |
vpg3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
vpg3 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
vpg3 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-5,2147483648-u32max |
| PARAM_VALUE |
3 |
vpg_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
vpg_shift |
6863632030012436480 |
| PARAM_VALUE |
5 |
vpg_mask |
8151229390199205888 |
| BUF_SIZE |
0 |
vpg3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
vpg3 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
vpg3 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
3 |
vpg_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
vpg_shift |
2680975488385785856 |
| PARAM_VALUE |
5 |
vpg_mask |
2376126502027202560 |
| BUF_SIZE |
0 |
vpg3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
vpg3 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
inst |
unit_array_size |