Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/block/loop.c loop_change_fd() -> loop_validate_file()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mapping->host | 0,4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->read_iter | 1-u64max |
| PARAM_VALUE | 1 | bdev | 4096-ptr_max |
| PARAM_VALUE | 1 | bdev->bd_disk | 4096-ptr_max |
| PARAM_VALUE | 1 | bdev->bd_disk->fops->pr_ops->pr_read_reservation | 1421210042509553664,1710587714100891648,2566992871418122240 |
| PARAM_VALUE | 1 | bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 1 | bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 1 | bdev->bd_holder_ops->thaw | 723535252275687424 |
| PARAM_VALUE | 1 | bdev->bd_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | bdev->bd_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | bdev->bd_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | bdev->bd_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| CAPPED_DATA | 0 | file | 1 |
| DATA_SOURCE | 0 | file | r fget |
| DATA_SOURCE | 1 | bdev | $1 |
| LOCK2 | &lo->lo_mutex | ||
| TYPE_LOCK | (struct loop_device)->lo_mutex |
drivers/block/loop.c loop_configure() -> loop_validate_file()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mapping->host | 0,4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->read_iter | 1-u64max |
| PARAM_VALUE | 1 | bdev | 4096-ptr_max |
| PARAM_VALUE | 1 | bdev->bd_disk | 4096-ptr_max |
| PARAM_VALUE | 1 | bdev->bd_disk->fops->pr_ops->pr_read_reservation | 1421210042509553664,1710587714100891648,2566992871418122240 |
| PARAM_VALUE | 1 | bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 1 | bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 1 | bdev->bd_holder_ops->thaw | 723535252275687424 |
| PARAM_VALUE | 1 | bdev->bd_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | bdev->bd_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | bdev->bd_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | bdev->bd_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| CAPPED_DATA | 0 | file | 1 |
| CAPPED_DATA | 1 | bdev | 1 |
| DATA_SOURCE | 0 | file | r fget |
| DATA_SOURCE | 1 | bdev | $2 |
| LOCK2 | &lo->lo_mutex | ||
| TYPE_LOCK | (struct loop_device)->lo_mutex |