Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 7 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
afmt31 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-5 |
| PARAM_VALUE |
3 |
afmt_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
afmt_shift |
6894849029637255168 |
| PARAM_VALUE |
5 |
afmt_mask |
1361650426239496192 |
| BUF_SIZE |
0 |
afmt31 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt31 |
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 |
afmt31 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-5,2147483648-u32max |
| PARAM_VALUE |
3 |
afmt_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
afmt_shift |
2060505612718170112 |
| PARAM_VALUE |
5 |
afmt_mask |
4873387142270914560 |
| BUF_SIZE |
0 |
afmt31 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt31 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
afmt31 |
4096-ptr_max |
| PARAM_VALUE |
1 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-5 |
| PARAM_VALUE |
3 |
afmt_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
afmt_shift |
3386968191139684352 |
| PARAM_VALUE |
5 |
afmt_mask |
1771382019197751296 |
| BUF_SIZE |
0 |
afmt31 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt31 |
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 |
afmt31 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-5,2147483648-u32max |
| PARAM_VALUE |
3 |
afmt_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
afmt_shift |
5278319757155794944 |
| PARAM_VALUE |
5 |
afmt_mask |
8733129405888958464 |
| BUF_SIZE |
0 |
afmt31 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt31 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
afmt31 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-5,2147483648-u32max |
| PARAM_VALUE |
3 |
afmt_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
afmt_shift |
4942674447635513344 |
| PARAM_VALUE |
5 |
afmt_mask |
4210922499538702336 |
| BUF_SIZE |
0 |
afmt31 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt31 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
afmt31 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-5 |
| PARAM_VALUE |
3 |
afmt_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
afmt_shift |
3085023355553558528 |
| PARAM_VALUE |
5 |
afmt_mask |
570381466924318720 |
| BUF_SIZE |
0 |
afmt31 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt31 |
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 |
afmt31 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-5 |
| PARAM_VALUE |
3 |
afmt_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
afmt_shift |
8372976955266535424 |
| PARAM_VALUE |
5 |
afmt_mask |
8423313371488894976 |
| BUF_SIZE |
0 |
afmt31 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt31 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
inst |
unit_array_size |