Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/loop.c lo_ioctl() -> loop_configure()

Type Parameter Key Value
PARAM_VALUE 2 bdev 4096-ptr_max
PARAM_VALUE 2 bdev->bd_disk 4096-ptr_max
PARAM_VALUE 2 bdev->bd_disk->fops->pr_ops->pr_read_reservation 1421210042509553664,1710587714100891648,2566992871418122240
PARAM_VALUE 2 bdev->bd_holder_ops->freeze 7536128971011219456
PARAM_VALUE 2 bdev->bd_holder_ops->sync 8235259936313790464
PARAM_VALUE 2 bdev->bd_holder_ops->thaw 723535252275687424
PARAM_VALUE 2 bdev->bd_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 bdev->bd_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 bdev->bd_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 bdev->bd_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 2 bdev->bd_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 3 config 3115020999938531328
BUF_SIZE 0 lo s32min-(-2),1-s32max
BUF_SIZE 0 lo s32min-(-2),1-s32max
DATA_SOURCE 1 mode $1
DATA_SOURCE 2 bdev $0
MEM_ZERO 3 config
USER_DATA 3 config->fd 0-u32max
UNITS 0 lo unit_byte

drivers/block/loop.c lo_ioctl() -> loop_configure()

Type Parameter Key Value
PARAM_VALUE 2 bdev 4096-ptr_max
PARAM_VALUE 2 bdev->bd_disk 4096-ptr_max
PARAM_VALUE 2 bdev->bd_disk->fops->pr_ops->pr_read_reservation 1421210042509553664,1710587714100891648,2566992871418122240
PARAM_VALUE 2 bdev->bd_holder_ops->freeze 7536128971011219456
PARAM_VALUE 2 bdev->bd_holder_ops->sync 8235259936313790464
PARAM_VALUE 2 bdev->bd_holder_ops->thaw 723535252275687424
PARAM_VALUE 2 bdev->bd_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 bdev->bd_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 bdev->bd_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 bdev->bd_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 2 bdev->bd_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 3 config 3115020999938531328
BUF_SIZE 0 lo s32min-(-2),1-s32max
BUF_SIZE 0 lo s32min-(-2),1-s32max
DATA_SOURCE 1 mode $1
DATA_SOURCE 2 bdev $0
USER_DATA 3 config->block_size 0-u32max
USER_DATA 3 config->fd 0-u32max
USER_DATA 3 config->info.lo_device 0-u64max
USER_DATA 3 config->info.lo_encrypt_key_size 0-u32max
USER_DATA 3 config->info.lo_encrypt_type 0-u32max
USER_DATA 3 config->info.lo_flags 0-u32max
USER_DATA 3 config->info.lo_inode 0-u64max
USER_DATA 3 config->info.lo_number 0-u32max
USER_DATA 3 config->info.lo_offset 0-u64max
USER_DATA 3 config->info.lo_rdevice 0-u64max
USER_DATA 3 config->info.lo_sizelimit 0-u64max
UNITS 0 lo unit_byte
USER_PTR 3 config->__reserved