Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/scsi/sd.c read_capacity_10() -> read_capacity_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdkp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdkp->device | 4096-ptr_max |
| PARAM_VALUE | 0 | sdkp->device->request_queue->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sdkp->disk | 4096-ptr_max |
| PARAM_VALUE | 0 | sdkp->disk->queue | 4096-ptr_max |
| PARAM_VALUE | 0 | sdkp->disk->queue->limits_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sdkp->disk->queue->limits_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sdkp->disk->queue->limits_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sdkp->disk->queue->limits_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | sdp->request_queue->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 2 | sshdr | 1984644547394629632 |
| PARAM_VALUE | 3 | sense_valid | 0-1 |
| PARAM_VALUE | 4 | the_result | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sdkp | (-1),1768 |
| BUF_SIZE | 0 | sdkp | (-1),1768 |
| DATA_SOURCE | 0 | sdkp | $0 |
| DATA_SOURCE | 1 | sdp | $1 |
| DATA_SOURCE | 4 | the_result | r scsi_execute_cmd |
| FUZZY_MAX | 3 | sense_valid | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdkp | unit_byte |
| LOCK2 | 0 | &sdkp->disk->queue->limits_lock | |
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &disk->open_mutex | ||
| HALF_LOCKED2 | &of->mutex | ||
| TYPE_LOCK | (struct request_queue)->limits_lock |
drivers/scsi/sd.c read_capacity_16() -> read_capacity_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdkp | 4096-ptr_max |
| PARAM_VALUE | 0 | sdkp->device | 4096-ptr_max |
| PARAM_VALUE | 0 | sdkp->device->request_queue->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sdkp->disk | 4096-ptr_max |
| PARAM_VALUE | 0 | sdkp->disk->queue | 4096-ptr_max |
| PARAM_VALUE | 0 | sdkp->disk->queue->limits_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sdkp->disk->queue->limits_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sdkp->disk->queue->limits_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sdkp->disk->queue->limits_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sdkp->media_present | 1-255 |
| PARAM_VALUE | 1 | sdp | 4096-ptr_max |
| PARAM_VALUE | 1 | sdp->request_queue->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 2 | sshdr | 7554278859728502784 |
| PARAM_VALUE | 3 | sense_valid | 0-1 |
| PARAM_VALUE | 4 | the_result | (-22),(-19),(-11) |
| BUF_SIZE | 0 | sdkp | (-1),1768 |
| BUF_SIZE | 0 | sdkp | (-1),1768 |
| DATA_SOURCE | 0 | sdkp | $0 |
| DATA_SOURCE | 1 | sdp | $1 |
| DATA_SOURCE | 4 | the_result | r scsi_execute_cmd |
| FUZZY_MAX | 3 | sense_valid | 0 |
| BIT_INFO | 4 | the_result | 0x0,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sdkp | unit_byte |
| LOCK2 | 0 | &sdkp->disk->queue->limits_lock | |
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &disk->open_mutex | ||
| HALF_LOCKED2 | &of->mutex | ||
| TYPE_LOCK | (struct request_queue)->limits_lock |