Open Menu /

Defined in 2 files as a prototype:

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/block/floppy.c floppy_open() -> floppy_revalidate()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->ev 0,4096-ptr_max
PARAM_VALUE 0 disk->ev->block s32min-s32max
PARAM_VALUE 0 disk->ev->block_mutex.dep_map->name 0-255
PARAM_VALUE 0 disk->ev->block_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 disk->ev->block_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 disk->ev->block_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 disk->ev->block_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 disk->ev->block_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 disk->ev->block_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 disk->ev->clearing 0
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.handle->device->changed 0-1
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.handle->get_event_changed 0-1
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.handle->ignore_get_event 0-1
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.handle->media_present 0-1
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.handle->tur_changed 0-1
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.ioctl_events 0-4294967295
PARAM_VALUE 0 disk->ev->disk->private_data->media_present 0-1
PARAM_VALUE 0 disk->ev->dwork.cpu s32min-s32max
PARAM_VALUE 0 disk->ev->dwork.timer.flags 0-4294967295
PARAM_VALUE 0 disk->ev->dwork.work.lockdep_map->name 0-255
PARAM_VALUE 0 disk->ev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 disk->ev->pending 0,4-4294967295
PARAM_VALUE 0 disk->fops 4096-ptr_max
PARAM_VALUE 0 disk->fops->open 4096-ptr_max
PARAM_VALUE 0 disk->fops->poll_bio 0,4096-ptr_max
PARAM_VALUE 0 *disk->ev->disk->private_data->device->request_queue->q_lockdep_map.name 0-255
CAPPED_DATA 0 disk 1
DATA_SOURCE 0 disk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &disk->open_mutex
LOCK2 global &floppy_mutex
LOCK2 global &open_lock
TYPE_LOCK (struct gendisk)->open_mutex

drivers/block/floppy.c invalidate_drive() -> floppy_revalidate()

Type Parameter Key Value
PARAM_VALUE 0 disk 4096-ptr_max
PARAM_VALUE 0 disk->ev 0,4096-ptr_max
PARAM_VALUE 0 disk->ev->block s32min-s32max
PARAM_VALUE 0 disk->ev->block_mutex.dep_map->name 0-255
PARAM_VALUE 0 disk->ev->block_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 disk->ev->block_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 disk->ev->block_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 disk->ev->block_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 disk->ev->block_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 disk->ev->block_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 disk->ev->clearing 0
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.handle->device->changed 0-1
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.handle->get_event_changed 0-1
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.handle->ignore_get_event 0-1
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.handle->media_present 0-1
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.handle->tur_changed 0-1
PARAM_VALUE 0 disk->ev->disk->private_data->cdi.ioctl_events 0-4294967295
PARAM_VALUE 0 disk->ev->disk->private_data->media_present 0-1
PARAM_VALUE 0 disk->ev->dwork.cpu s32min-s32max
PARAM_VALUE 0 disk->ev->dwork.timer.flags 0-4294967295
PARAM_VALUE 0 disk->ev->dwork.work.lockdep_map->name 0-255
PARAM_VALUE 0 disk->ev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 disk->ev->pending 0,4-4294967295
PARAM_VALUE 0 disk->fops->poll_bio 0,4096-ptr_max
PARAM_VALUE 0 disk->fops->pr_ops->pr_read_reservation 1421210042509553664,1710587714100891648,2566992871418122240
PARAM_VALUE 0 disk->part0 4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_holder_lock.dep_map->name 0-255
PARAM_VALUE 0 disk->part0->bd_holder_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 disk->part0->bd_holder_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 disk->part0->bd_holder_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 disk->part0->bd_holder_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 disk->part0->bd_holder_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 disk->part0->bd_holder_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 disk->part0->bd_holder_ops 0,4096-ptr_max
PARAM_VALUE 0 disk->part0->bd_mapping 4096-ptr_max
PARAM_VALUE 0 *disk->ev->disk->private_data->device->request_queue->q_lockdep_map.name 0-255
DATA_SOURCE 0 disk $0
NOCHECK_CALL
LOCK2 global &floppy_mutex