Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

block/disk-events.c disk_clear_events() -> disk_block_events()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->ev 1-u64max
PARAM_VALUE 0 disk->fops->open 0,4096-ptr_max
PARAM_VALUE 0 disk->fops->pr_ops->pr_read_reservation 1421210042509553664,1710587714100891648,2566992871418122240
CAPPED_DATA 0 disk 1
DATA_SOURCE 0 disk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 global &floppy_mutex
HALF_LOCKED2 global &open_lock

block/disk-events.c disk_del_events() -> disk_block_events()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->bdi->debug_dir->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 disk->bdi->debug_dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 disk->bdi->debug_dir->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 disk->bdi->debug_dir->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 disk->bdi->debug_dir->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 disk->bdi->debug_dir->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 disk->bdi->debug_dir->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 disk->bdi->debug_dir->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 disk->bdi->debug_dir->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 disk->bdi->debug_dir->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 disk->bdi->debug_dir->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 disk->bdi->debug_dir->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 disk->bdi->debug_dir->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 disk->bdi->debug_dir->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 disk->bdi->debug_dir->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 disk->bdi->debug_dir->d_sb->__s_d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 disk->ev 1-u64max
PARAM_VALUE 0 disk->ev->disk 0-9223372036854775807
PARAM_VALUE 0 disk->fops->alternative_gpt_sector 0,3516747988943765504
PARAM_VALUE 0 disk->fops->check_events 0,1420689530236932096,1954248981353234432,5995980236530135040,6522638590541709312
PARAM_VALUE 0 disk->fops->get_unique_id 0,395922530626379776,2094087306773573632,6387976937639579648,6570840108151271424
PARAM_VALUE 0 disk->fops->poll_bio 0,7187272799208849408
PARAM_VALUE 0 disk->fops->pr_ops 0,68686958369677312,5732936244866154496,7295975715954978816
PARAM_VALUE 0 disk->fops->set_read_only 0,982559984222158848
PARAM_VALUE 0 disk->fops->swap_slot_free_notify 0,423292325655883776
PARAM_VALUE 0 disk->fops->unlock_native_capacity 0,6842104960331640832
PARAM_VALUE 0 disk->ia_ranges->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 disk->part0->bd_device.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 disk->part0->bd_device.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 disk->part0->bd_device.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 disk->part0->bd_device.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 disk->part0->bd_device.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 disk->part0->bd_device.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 disk->part0->bd_device.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 disk->part0->bd_device.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 disk->part0->bd_device.p->dead 0-1
PARAM_VALUE 0 disk->part0->bd_device.p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 disk->part0->bd_device.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 disk->part0->bd_device.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 disk->part0->bd_device.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 disk->part0->bd_device.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 disk->part0->bd_holder_dir->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 disk->queue 4096-ptr_max
PARAM_VALUE 0 disk->queue->debugfs_dir->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 disk->queue->debugfs_dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 disk->queue->debugfs_dir->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 disk->queue->debugfs_dir->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 disk->queue->debugfs_dir->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 disk->queue->debugfs_dir->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 disk->queue->debugfs_dir->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 disk->queue->debugfs_dir->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 disk->queue->debugfs_dir->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 disk->queue->debugfs_dir->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 disk->queue->debugfs_dir->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 disk->queue->debugfs_dir->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 disk->queue->debugfs_dir->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 disk->queue->debugfs_dir->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 disk->queue->debugfs_dir->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 disk->queue->debugfs_dir->d_sb->__s_d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 disk->queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 disk->queue->mq_kobj->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 disk->queue->mq_ops 0-1
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 disk->queue->rq_qos->debugfs_dir->d_sb->__s_d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 disk->queue->sched_debugfs_dir->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 disk->queue->sched_debugfs_dir->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 disk->queue->sched_debugfs_dir->d_sb->__s_d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 disk->queue->stats->accounting s32min-s32max
PARAM_VALUE 0 disk->queue->tag_set->update_nr_hwq_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 disk->queue->tag_set->update_nr_hwq_lock.first_waiter->type 0-1
PARAM_VALUE 0 disk->queue_kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 disk->random->last_time 0-s64max
PARAM_VALUE 0 disk->zone_wplugs_wq->flags 0-4294967295
PARAM_VALUE 0 disk->zone_wplugs_wq->flush_color s32min-s32max
PARAM_VALUE 0 disk->zone_wplugs_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 disk->zone_wplugs_wq->work_color s32min-s32max
BUF_SIZE 0 disk (-1)-0,2000
BUF_SIZE 0 disk (-1)-0,2000
BUF_SIZE 0 disk->fops (-1),144
DATA_SOURCE 0 disk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 disk->part0->bd_nr_sectors 0-18014398509481983
HOST_DATA 0 disk->part0->bd_queue->async_depth 0-10238[c]
HOST_DATA 0 disk->part0->bd_queue->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 disk->part0->bd_queue->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 disk->part0->bd_queue->limits.io_min 512-65536[c]
HOST_DATA 0 disk->part0->bd_queue->limits.max_active_zones 0-u32max
HOST_DATA 0 disk->part0->bd_queue->limits.max_open_zones 0-u32max
HOST_DATA 0 disk->part0->bd_queue->limits.max_sectors 0-s32max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 disk->part0->bd_queue->limits.zone_write_granularity 512-65536[c]
HOST_DATA 0 disk->part0->bd_queue->nr_requests 0-10238[c]
HOST_DATA 0 disk->queue->limits.alignment_offset 0-u16max[c]
HOST_DATA 0 disk->queue->limits.atomic_write_max_sectors 0-8388607[c]
HOST_DATA 0 disk->queue->limits.discard_granularity 512-u32max[c]
HOST_DATA 0 disk->queue->limits.integrity.interval_exp 0-31[c]
HOST_DATA 0 disk->queue->limits.io_min 512-65536[c]
HOST_DATA 0 disk->queue->limits.max_active_zones 0-u32max
HOST_DATA 0 disk->queue->limits.max_open_zones 0-u32max
HOST_DATA 0 disk->queue->limits.max_sectors 0-s32max[c]
HOST_DATA 0 disk->queue->limits.max_zone_append_sectors 0-s32max[c]
HOST_DATA 0 disk->queue->limits.zone_write_granularity 512-65536[c]
NO_OVERFLOW_SIMPLE 0 disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_disk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->async_depth
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 disk->part0->bd_queue->nr_requests
NO_OVERFLOW_SIMPLE 0 disk->queue->async_depth
NO_OVERFLOW_SIMPLE 0 disk->queue->limits.discard_granularity
NO_OVERFLOW_SIMPLE 0 disk->queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 0 disk->queue->limits.max_hw_discard_sectors
NO_OVERFLOW_SIMPLE 0 disk->queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE 0 disk->queue->nr_hw_queues
NO_OVERFLOW_SIMPLE 0 disk->queue->nr_requests
NO_OVERFLOW_SIMPLE 0 disk->zone_wplugs_pool->curr_nr
NO_OVERFLOW_SIMPLE 0 disk->zone_wplugs_pool->min_nr
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &md->table_devices_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &set->update_nr_hwq_lock
HALF_LOCKED2 &ub->mutex
HALF_LOCKED2 global &bch_register_lock
HALF_LOCKED2 global &devices_mutex
HALF_LOCKED2 global &mtd_table_mutex

block/disk-events.c disk_events_poll_msecs_store() -> disk_block_events()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->ev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

block/bdev.c bdev_open() -> disk_block_events()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL