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 |
afmt3 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-6,2147483648-u32max |
| PARAM_VALUE |
3 |
afmt_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
afmt_shift |
5930349833880117248 |
| PARAM_VALUE |
5 |
afmt_mask |
7613970757883109376 |
| BUF_SIZE |
0 |
afmt3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt3 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
afmt3 |
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 |
4890174329138688000 |
| PARAM_VALUE |
5 |
afmt_mask |
673513236970266624 |
| BUF_SIZE |
0 |
afmt3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt3 |
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 |
afmt3 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-2,2147483648-u32max |
| PARAM_VALUE |
3 |
afmt_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
afmt_shift |
7954913061941280768 |
| PARAM_VALUE |
5 |
afmt_mask |
4887786076816605184 |
| BUF_SIZE |
0 |
afmt3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt3 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
afmt3 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-5,2147483648-u32max |
| PARAM_VALUE |
3 |
afmt_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
afmt_shift |
6586118855966994432 |
| PARAM_VALUE |
5 |
afmt_mask |
1815383614884642816 |
| BUF_SIZE |
0 |
afmt3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt3 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
afmt3 |
4096-ptr_max |
| PARAM_VALUE |
2 |
inst |
0-5,2147483648-u32max |
| PARAM_VALUE |
3 |
afmt_regs |
4096-ptr_max |
| PARAM_VALUE |
4 |
afmt_shift |
8840626895208947712 |
| PARAM_VALUE |
5 |
afmt_mask |
868256013097406464 |
| BUF_SIZE |
0 |
afmt3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt3 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
afmt3 |
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 |
8210330044535558144 |
| PARAM_VALUE |
5 |
afmt_mask |
2735916863932272640 |
| BUF_SIZE |
0 |
afmt3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt3 |
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 |
afmt3 |
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 |
4184975668693303296 |
| PARAM_VALUE |
5 |
afmt_mask |
2840797140778782720 |
| BUF_SIZE |
0 |
afmt3 |
48 |
| CAPPED_DATA |
2 |
inst |
1 |
| DATA_SOURCE |
0 |
afmt3 |
r _kzalloc_noprof |
| DATA_SOURCE |
1 |
ctx |
$0 |
| DATA_SOURCE |
2 |
inst |
$1 |
| NOCHECK_CALL |
|
|
|