Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
vol |
4096-ptr_max |
| PARAM_VALUE |
1 |
vol->reserved_pebs |
1-s32max |
| PARAM_VALUE |
1 |
vol->usable_leb_size |
0-s32max |
| PARAM_VALUE |
1 |
vol->vol_type |
s32min-3,5-s32max |
| PARAM_VALUE |
2 |
req |
3043708048418365440 |
| PARAM_VALUE |
2 |
req->bytes |
0-s32max |
| PARAM_VALUE |
2 |
req->lnum |
0-2147483646 |
| CAPPED_DATA |
1 |
vol->reserved_pebs |
1 |
| NOSPEC |
2 |
req->bytes |
|
| NOSPEC |
2 |
req->lnum |
|
| USER_DATA |
2 |
req->bytes |
0-s32max[c] |
| USER_DATA |
2 |
req->dtype |
(-128)-127 |
| USER_DATA |
2 |
req->lnum |
0-2147483646[c] |
| USER_PTR |
2 |
req->padding |
|