Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/block/loop.c loop_configure() -> bd_abort_claiming()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->fops->pr_ops->pr_read_reservation | 1421210042509553664,1710587714100891648,2566992871418122240 |
| PARAM_VALUE | 0 | bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 0 | bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 0 | bdev->bd_holder_ops->thaw | 723535252275687424 |
| PARAM_VALUE | 0 | bdev->bd_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | holder | 2590434977625034752 |
| CAPPED_DATA | 0 | bdev | 1 |
| DATA_SOURCE | 0 | bdev | $2 |
| NOCHECK_CALL |
drivers/block/loop.c loop_configure() -> bd_abort_claiming()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->fops->pr_ops->pr_read_reservation | 1421210042509553664,1710587714100891648,2566992871418122240 |
| PARAM_VALUE | 0 | bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 0 | bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 0 | bdev->bd_holder_ops->thaw | 723535252275687424 |
| PARAM_VALUE | 0 | bdev->bd_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | holder | 2590434977625034752 |
| CAPPED_DATA | 0 | bdev | 1 |
| DATA_SOURCE | 0 | bdev | $2 |
| NOCHECK_CALL |
drivers/block/loop.c loop_set_block_size() -> bd_abort_claiming()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->fops->pr_ops->pr_read_reservation | 1421210042509553664,1710587714100891648,2566992871418122240 |
| PARAM_VALUE | 0 | bdev->bd_disk->part0 | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->part0->bd_claiming | 1-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_holder | 0-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_holder_ops->freeze | 7536128971011219456 |
| PARAM_VALUE | 0 | bdev->bd_holder_ops->sync | 8235259936313790464 |
| PARAM_VALUE | 0 | bdev->bd_holder_ops->thaw | 723535252275687424 |
| PARAM_VALUE | 0 | bdev->bd_mapping->host->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | holder | 8269046170653192192 |
| CAPPED_DATA | 0 | bdev | 1 |
| DATA_SOURCE | 0 | bdev | $2 |
| NOCHECK_CALL |
block/bdev.c bdev_open() -> bd_abort_claiming()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_device.kobj.kref.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | bdev->bd_disk | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->ev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->ev->block | s32min-s32max |
| PARAM_VALUE | 0 | bdev->bd_disk->ev->block_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bdev->bd_disk->ev->block_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bdev->bd_disk->ev->block_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | bdev->bd_disk->ev->block_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | bdev->bd_disk->ev->block_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | bdev->bd_disk->ev->block_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | bdev->bd_disk->ev->dwork.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | bdev->bd_disk->ev->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bdev->bd_disk->fops->owner->state | 0-1,3-u32max |
| PARAM_VALUE | 0 | bdev->bd_disk->open_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bdev->bd_disk->open_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->open_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | bdev->bd_disk->open_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | bdev->bd_disk->open_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | bdev->bd_disk->open_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | bdev->bd_disk->open_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | bdev->bd_disk->part0 | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->part0->bd_claiming | 1-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_holder | 0-ptr_max |
| PARAM_VALUE | 1 | holder | 1-ptr_max |
| BUF_SIZE | 0 | bdev | 2136 |
| BUF_SIZE | 1 | holder | (-1)-s32max |
| BUF_SIZE | 1 | holder | (-1)-s32max |
| BUF_SIZE | 1 | holder->dq_op | (-1),88 |
| BUF_SIZE | 1 | holder->s_cop | (-1),72 |
| BUF_SIZE | 1 | holder->s_export_op | (-1),80 |
| BUF_SIZE | 1 | holder->s_op | (-1),216 |
| BUF_SIZE | 1 | holder->s_qcop | (-1),88 |
| BUF_SIZE | 1 | holder->s_vop | (-1),48 |
| BUF_SIZE | 1 | holder->s_xattr | (-1),40 |
| CAPPED_DATA | 0 | bdev | 1 |
| CAPPED_DATA | 1 | holder | 1 |
| DATA_SOURCE | 0 | bdev | $0 |
| DATA_SOURCE | 1 | holder | $2 |
| STR_LEN | 0 | bdev | (-1),8 |
| STR_LEN | 0 | bdev | (-1),8 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | holder | unit_byte |
| LOCK2 | &disk->open_mutex | ||
| TYPE_LOCK | (struct gendisk)->open_mutex |
block/bdev.c truncate_bdev_range() -> bd_abort_claiming()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->part0 | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->part0->bd_claiming | 1-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_holder | 0-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_mapping->host->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | holder | 5691121542219096064 |
| BUF_SIZE | 0 | bdev | (-1),2136 |
| BUF_SIZE | 0 | bdev | (-1),2136 |
| CAPPED_DATA | 0 | bdev | 1 |
| DATA_SOURCE | 0 | bdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 0 | &bdev->bd_mapping->host->i_rwsem | |
| HALF_LOCKED2 | 0 | &bdev->bd_mapping->invalidate_lock | |
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
block/genhd.c disk_scan_partitions() -> bd_abort_claiming()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->part0 | 4096-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_disk->part0->bd_claiming | 1-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_holder | 0-ptr_max |
| PARAM_VALUE | 0 | bdev->bd_holder_dir->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | holder | 5139407891078197248 |
| CAPPED_DATA | 0 | bdev | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_disk->bio_split.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_disk->bio_split.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_queue->async_depth | |
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_queue->limits.max_discard_sectors | |
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_queue->limits.max_open_zones | |
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_queue->nr_hw_queues | |
| NO_OVERFLOW_SIMPLE | 0 | bdev->bd_queue->nr_requests |