Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/cdrom/cdrom.c cdrom_is_random_writable() -> cdrom_get_random_writable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdi | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->capacity | (-12),0-255 |
| PARAM_VALUE | 0 | cdi->handle | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->handle->device->changed | 1 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | cdi->mask | 0-3,16-19,8192-8195,8208-8211,16384-253971,3923992 |
| PARAM_VALUE | 0 | cdi->ops | 7423275360926306304 |
| PARAM_VALUE | 0 | cdi->ops->generic_packet | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->speed | 0-1 |
| PARAM_VALUE | 1 | rfd | 1512404987893915648 |
| DATA_SOURCE | 0 | cdi | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/cdrom/cdrom.c cdrom_ram_open_write() -> cdrom_get_random_writable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdi | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->handle->device->changed | 0-1 |
| PARAM_VALUE | 0 | cdi->handle->device->host->shost_state | 0-4,8-4294967295 |
| PARAM_VALUE | 0 | cdi->handle->device->host->tmf_in_progress | 0 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | cdi->handle->device->request_queue->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | cdi->handle->device->sdev_state | 0-3,5,8-4294967295 |
| PARAM_VALUE | 0 | cdi->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->generic_packet | 4096-ptr_max |
| PARAM_VALUE | 0 | *cdi->handle->device->request_queue->q_lockdep_map.name | 0-255 |
| PARAM_VALUE | 1 | rfd | 1203458521566986240 |
| DATA_SOURCE | 0 | cdi | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &cd->lock | ||
| LOCK2 | &disk->open_mutex | ||
| TYPE_LOCK | (struct gendisk)->open_mutex | ||
| TYPE_LOCK | (struct scsi_cd)->lock |