Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
md |
4096-ptr_max |
| PARAM_VALUE |
1 |
size |
0 |
| PARAM_VALUE |
2 |
align_shift |
0-31 |
| PARAM_VALUE |
3 |
alloc_min |
4096,2097152,16777216 |
| PARAM_VALUE |
4 |
alloc_max |
u32max,u64max |
| DATA_SOURCE |
3 |
alloc_min |
$5 [m] |
| DATA_SOURCE |
4 |
alloc_max |
$6 |
| FUZZY_MAX |
4 |
alloc_max |
u64max |
| PARAM_COMPARE |
1 |
size |
<= $4 |
| PARAM_COMPARE |
4 |
alloc_max |
>= $1 |
| PARAM_COMPARE |
4 |
alloc_max |
>= $1 |
| BIT_INFO |
3 |
alloc_min |
0x0,0x1201000 |
| BIT_INFO |
3 |
alloc_min |
0x0,0x1201000 |
| HARD_MAX |
4 |
alloc_max |
u64max |
| UNITS |
0 |
md |
unit_byte |
