sr_revalidate_disk identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/scsi/sr.c, line 476 (as a function)

Referenced in 1 files:

drivers/scsi/sr.c
- line 506
- line 700

Smatch caller information:

drivers/scsi/sr.c sr_block_open() -> sr_revalidate_disk()

Type	Parameter	Key	Value
PARAM_VALUE	0	cd	4096-ptr_max
PARAM_VALUE	0	cd->device	4096-ptr_max
PARAM_VALUE	0	cd->device->host->hostt->module->refcnt.counter	0-s32max
PARAM_VALUE	0	cd->device->host->hostt->module->state	0-1,3-u32max
PARAM_VALUE	0	cd->device->sdev_gendev.bus	0,4096-ptr_max
PARAM_VALUE	0	cd->device->sdev_gendev.power.request	0-4
PARAM_VALUE	0	cd->device->sdev_gendev.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	cd->device->sdev_gendev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	cd->device->sdev_gendev.type	0,4096-ptr_max
PARAM_VALUE	0	cd->device->sdev_state	0-2,5-u32max
BUF_SIZE	0	cd	s32min-(-2),1-s32max
BUF_SIZE	0	cd	s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS	0	cd	unit_byte
LOCK2		&disk->open_mutex
TYPE_LOCK		(struct gendisk)->open_mutex

drivers/scsi/sr.c sr_probe() -> sr_revalidate_disk()

Type	Parameter	Key	Value
PARAM_VALUE	0	cd	4096-ptr_max
PARAM_VALUE	0	cd->capacity	2097151
PARAM_VALUE	0	cd->cdi->handle->device->request_queue->q_lockdep_map.name	0-255
PARAM_VALUE	0	cd->cdi.capacity	(-12),0-255
PARAM_VALUE	0	cd->cdi.cdda_method	0,2
PARAM_VALUE	0	cd->cdi.disk	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->bdi	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->bio_split.back_pad	0
PARAM_VALUE	0	cd->cdi.disk->bio_split.bio_pool.min_nr	2
PARAM_VALUE	0	cd->cdi.disk->bio_split.cache	0
PARAM_VALUE	0	cd->cdi.disk->bio_split.front_pad	0
PARAM_VALUE	0	cd->cdi.disk->error_injection_list.next	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->error_injection_list.prev	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->error_injection_lock.magic	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->event_flags	7
PARAM_VALUE	0	cd->cdi.disk->events	3
PARAM_VALUE	0	cd->cdi.disk->first_minor	0-64
PARAM_VALUE	0	cd->cdi.disk->flags	0-s32max
PARAM_VALUE	0	cd->cdi.disk->fops	546547535528636416
PARAM_VALUE	0	cd->cdi.disk->major	11
PARAM_VALUE	0	cd->cdi.disk->minors	1
PARAM_VALUE	0	cd->cdi.disk->node_id	(-1)
PARAM_VALUE	0	cd->cdi.disk->open_mutex.first_waiter	0
PARAM_VALUE	0	cd->cdi.disk->open_mutex.magic	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->open_mutex.owner.counter	0
PARAM_VALUE	0	cd->cdi.disk->part0	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->part_tbl.xa_flags	0
PARAM_VALUE	0	cd->cdi.disk->part_tbl.xa_head	0
PARAM_VALUE	0	cd->cdi.disk->private_data	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->queue	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->queue_kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	cd->cdi.disk->queue_kobj.ktype	8941777688397746176
PARAM_VALUE	0	cd->cdi.disk->queue_kobj.state_in_sysfs	0
PARAM_VALUE	0	cd->cdi.disk->random	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->rqos_state_mutex.magic	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->slave_bdevs.next	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->slave_bdevs.prev	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->zone_wplugs_list.next	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->zone_wplugs_list.prev	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->zone_wplugs_worker_bio_done.wait.lock.magic	3735899821
PARAM_VALUE	0	cd->cdi.disk->zone_wplugs_worker_bio_done.wait.lock.owner	(-1)
PARAM_VALUE	0	cd->cdi.disk->zone_wplugs_worker_bio_done.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	cd->cdi.disk->zone_wplugs_worker_bio_done.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	cd->cdi.disk->zone_wplugs_worker_bio_done.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	cd->cdi.handle	4096-ptr_max
PARAM_VALUE	0	cd->cdi.handle->device->changed	1
PARAM_VALUE	0	cd->cdi.handle->device->request_queue->dev->power.deferred_resume	0-1
PARAM_VALUE	0	cd->cdi.handle->device->request_queue->dev->power.idle_notification	0-1
PARAM_VALUE	0	cd->cdi.handle->device->request_queue->dev->power.request	0-4294967295
PARAM_VALUE	0	cd->cdi.handle->device->request_queue->dev->power.request_pending	0-1
PARAM_VALUE	0	cd->cdi.handle->device->request_queue->dev->power.runtime_error	s32min-s32max
PARAM_VALUE	0	cd->cdi.handle->device->request_queue->dev->power.runtime_status	s32min-s32max
PARAM_VALUE	0	cd->cdi.handle->device->request_queue->dev->power.timer_autosuspends	0-1
PARAM_VALUE	0	cd->cdi.handle->device->request_queue->dev->power.usage_count.counter	s32min-s32max
PARAM_VALUE	0	cd->cdi.handle->device->request_queue->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	cd->cdi.list.next	4096-ptr_max
PARAM_VALUE	0	cd->cdi.list.prev	3489108139869216768
PARAM_VALUE	0	cd->cdi.mask	0-1306943,2097152-6549823,7594008,7594040,7598399
PARAM_VALUE	0	cd->cdi.mc_flags	0
PARAM_VALUE	0	cd->cdi.mrw_mode_page	3,44
PARAM_VALUE	0	cd->cdi.ops	7423275360926306304
PARAM_VALUE	0	cd->cdi.ops->generic_packet	4096-ptr_max
PARAM_VALUE	0	cd->cdi.ops->get_mcn	4096-ptr_max
PARAM_VALUE	0	cd->cdi.ops->lock_door	4096-ptr_max
PARAM_VALUE	0	cd->cdi.ops->open	4096-ptr_max
PARAM_VALUE	0	cd->cdi.ops->release	4096-ptr_max
PARAM_VALUE	0	cd->cdi.ops->reset	4096-ptr_max
PARAM_VALUE	0	cd->cdi.ops->tray_move	4096-ptr_max
PARAM_VALUE	0	cd->cdi.options	4-7,12-15,20-23,28-31
PARAM_VALUE	0	cd->cdi.speed	0-1
PARAM_VALUE	0	cd->device	4096-ptr_max
PARAM_VALUE	0	cd->device->request_queue->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	cd->disk	4096-ptr_max
PARAM_VALUE	0	cd->disk->bdi	4096-ptr_max
PARAM_VALUE	0	cd->disk->bio_split.back_pad	0,64
PARAM_VALUE	0	cd->disk->bio_split.bio_pool.alloc	7276475779886346240
PARAM_VALUE	0	cd->disk->bio_split.bio_pool.curr_nr	1-s32max
PARAM_VALUE	0	cd->disk->bio_split.bio_pool.elements	1-u64max
PARAM_VALUE	0	cd->disk->bio_split.bio_pool.free	8263660038527102976
PARAM_VALUE	0	cd->disk->bio_split.bio_pool.min_nr	2
PARAM_VALUE	0	cd->disk->bio_split.bio_pool.pool_data	1-u64max
PARAM_VALUE	0	cd->disk->bio_split.bio_pool.wait.head.next	4096-ptr_max
PARAM_VALUE	0	cd->disk->bio_split.bio_pool.wait.head.prev	4096-ptr_max
PARAM_VALUE	0	cd->disk->bio_split.bio_slab	1-u64max
PARAM_VALUE	0	cd->disk->bio_split.bvec_pool.alloc	7276475779886346240
PARAM_VALUE	0	cd->disk->bio_split.bvec_pool.curr_nr	1-s32max
PARAM_VALUE	0	cd->disk->bio_split.bvec_pool.elements	1-u64max
PARAM_VALUE	0	cd->disk->bio_split.bvec_pool.free	8263660038527102976
PARAM_VALUE	0	cd->disk->bio_split.bvec_pool.wait.head.next	4096-ptr_max
PARAM_VALUE	0	cd->disk->bio_split.bvec_pool.wait.head.prev	4096-ptr_max
PARAM_VALUE	0	cd->disk->bio_split.cache	0,4096-ptr_max
PARAM_VALUE	0	cd->disk->bio_split.cpuhp_dead.pprev	4096-ptr_max
PARAM_VALUE	0	cd->disk->bio_split.front_pad	0
PARAM_VALUE	0	cd->disk->bio_split.rescue_list.head	0
PARAM_VALUE	0	cd->disk->bio_split.rescue_list.tail	0
PARAM_VALUE	0	cd->disk->bio_split.rescue_workqueue	0,4096-ptr_max
PARAM_VALUE	0	cd->disk->error_injection_list.next	4096-ptr_max
PARAM_VALUE	0	cd->disk->error_injection_list.prev	4096-ptr_max
PARAM_VALUE	0	cd->disk->error_injection_lock.magic	4096-ptr_max
PARAM_VALUE	0	cd->disk->event_flags	7
PARAM_VALUE	0	cd->disk->events	3
PARAM_VALUE	0	cd->disk->first_minor	0-64
PARAM_VALUE	0	cd->disk->flags	0-s32max
PARAM_VALUE	0	cd->disk->fops	546547535528636416
PARAM_VALUE	0	cd->disk->lockdep_map.cpu	0
PARAM_VALUE	0	cd->disk->lockdep_map.lock_type	0
PARAM_VALUE	0	cd->disk->lockdep_map.wait_type_outer	0
PARAM_VALUE	0	cd->disk->major	11
PARAM_VALUE	0	cd->disk->minors	1
PARAM_VALUE	0	cd->disk->node_id	(-1)
PARAM_VALUE	0	cd->disk->open_mutex.first_waiter	0
PARAM_VALUE	0	cd->disk->open_mutex.magic	4096-ptr_max
PARAM_VALUE	0	cd->disk->open_mutex.osq.tail.counter	0
PARAM_VALUE	0	cd->disk->open_mutex.owner.counter	0
PARAM_VALUE	0	cd->disk->part0	4096-ptr_max
PARAM_VALUE	0	cd->disk->part_tbl.xa_flags	0
PARAM_VALUE	0	cd->disk->part_tbl.xa_head	0
PARAM_VALUE	0	cd->disk->queue	4096-ptr_max
PARAM_VALUE	0	cd->disk->queue_kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	cd->disk->queue_kobj.ktype	8941777688397746176
PARAM_VALUE	0	cd->disk->queue_kobj.state_in_sysfs	0
PARAM_VALUE	0	cd->disk->queue_kobj.state_initialized	1
PARAM_VALUE	0	cd->disk->random	4096-ptr_max
PARAM_VALUE	0	cd->disk->rqos_state_mutex.first_waiter	0
PARAM_VALUE	0	cd->disk->rqos_state_mutex.magic	4096-ptr_max
PARAM_VALUE	0	cd->disk->slave_bdevs.next	4096-ptr_max
PARAM_VALUE	0	cd->disk->slave_bdevs.prev	4096-ptr_max
PARAM_VALUE	0	cd->disk->zone_wplugs_list.next	4096-ptr_max
PARAM_VALUE	0	cd->disk->zone_wplugs_list.prev	4096-ptr_max
PARAM_VALUE	0	cd->disk->zone_wplugs_worker_bio_done.wait.lock.magic	3735899821
PARAM_VALUE	0	cd->disk->zone_wplugs_worker_bio_done.wait.lock.owner	(-1)
PARAM_VALUE	0	cd->disk->zone_wplugs_worker_bio_done.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	cd->disk->zone_wplugs_worker_bio_done.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	cd->disk->zone_wplugs_worker_bio_done.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	cd->lock.dep_map->name	0-255
PARAM_VALUE	0	cd->lock.first_waiter	0
PARAM_VALUE	0	cd->lock.magic	4096-ptr_max
PARAM_VALUE	0	cd->lock.osq.tail.counter	0
PARAM_VALUE	0	cd->lock.owner.counter	0
PARAM_VALUE	0	cd->media_present	1
PARAM_VALUE	0	cd->use	1
PARAM_VALUE	0	cd->vendor	1-5
BUF_SIZE	0	cd	328
BUF_SIZE	0	cd->disk	2000
CAPPED_DATA	0	cd->disk->first_minor	1
DATA_SOURCE	0	cd	r _kzalloc_noprof
FUZZY_MAX	0	cd->cdi.capacity	1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	cd->disk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE	0	cd->disk->bio_split.bvec_pool.min_nr