Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/cdrom/cdrom.c cdrom_get_last_written() -> cdrom_get_track_info()
| 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->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->audio_ioctl | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->generic_packet | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->get_mcn | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->lock_door | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->open | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->release | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->tray_move | 4096-ptr_max |
| PARAM_VALUE | 0 | *cdi->handle->device->request_queue->q_lockdep_map.name | 0-255 |
| PARAM_VALUE | 2 | type | 1 |
| PARAM_VALUE | 3 | ti | 155174664492445696 |
| DATA_SOURCE | 0 | cdi | $0 |
| BIT_INFO | 1 | track | 0x0,0xff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &cd->lock |
drivers/cdrom/cdrom.c cdrom_get_last_written() -> cdrom_get_track_info()
| 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->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->audio_ioctl | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->generic_packet | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->get_mcn | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->lock_door | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->open | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->release | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->tray_move | 4096-ptr_max |
| PARAM_VALUE | 1 | track | 0-65534 |
| PARAM_VALUE | 2 | type | 1 |
| PARAM_VALUE | 3 | ti | 155174664492445696 |
| PARAM_VALUE | 3 | ti->blank | 1 |
| DATA_SOURCE | 0 | cdi | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &cd->lock |
drivers/cdrom/cdrom.c cdrom_get_next_writable() -> cdrom_get_track_info()
| 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->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->audio_ioctl | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->generic_packet | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->get_mcn | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->lock_door | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->open | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->release | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->tray_move | 4096-ptr_max |
| PARAM_VALUE | 0 | *cdi->handle->device->request_queue->q_lockdep_map.name | 0-255 |
| PARAM_VALUE | 2 | type | 1 |
| PARAM_VALUE | 3 | ti | 6017446900729901056 |
| DATA_SOURCE | 0 | cdi | $0 |
| BIT_INFO | 1 | track | 0x0,0xff |
| LOCK2 | &cd->lock | ||
| TYPE_LOCK | (struct scsi_cd)->lock |
drivers/cdrom/cdrom.c cdrom_get_next_writable() -> cdrom_get_track_info()
| 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->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->audio_ioctl | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->generic_packet | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->get_mcn | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->lock_door | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->open | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->release | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | cdi->ops->tray_move | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 1 |
| PARAM_VALUE | 3 | ti | 6017446900729901056 |
| PARAM_VALUE | 3 | ti->blank | 1 |
| DATA_SOURCE | 0 | cdi | $0 |
| LOCK2 | &cd->lock | ||
| TYPE_LOCK | (struct scsi_cd)->lock |