Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/loop.c loop_set_status_old() -> loop_info64_from_old()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 946852258146701312 |
| PARAM_VALUE | 1 | info64 | 3551213738693136384 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | info->lo_device | 0-u64max |
| USER_DATA | 0 | info->lo_encrypt_key_size | s32min-s32max |
| USER_DATA | 0 | info->lo_encrypt_type | s32min-s32max |
| USER_DATA | 0 | info->lo_flags | s32min-s32max |
| USER_DATA | 0 | info->lo_inode | 0-u64max |
| USER_DATA | 0 | info->lo_number | s32min-s32max |
| USER_DATA | 0 | info->lo_offset | s32min-s32max |
| USER_DATA | 0 | info->lo_rdevice | 0-u64max |
| USER_PTR | 0 | info->lo_encrypt_key | |
| USER_PTR | 0 | info->lo_init | |
| USER_PTR | 0 | info->lo_name | |
| USER_PTR | 0 | info->reserved |