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