Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/scsi/sd.c read_capacity_10() -> media_not_present()

Type Parameter Key Value
PARAM_VALUE 0 sdkp 4096-ptr_max
PARAM_VALUE 0 sdkp->device 4096-ptr_max
PARAM_VALUE 1 sshdr 1984644547394629632
BUF_SIZE 0 sdkp (-1),1768
BUF_SIZE 0 sdkp (-1),1768
DATA_SOURCE 0 sdkp $0
RX_PATH
TASK_NOT_RUNNING
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() -> media_not_present()

Type Parameter Key Value
PARAM_VALUE 0 sdkp 4096-ptr_max
PARAM_VALUE 0 sdkp->device 4096-ptr_max
PARAM_VALUE 0 sdkp->media_present 1-255
PARAM_VALUE 1 sshdr 7554278859728502784
BUF_SIZE 0 sdkp (-1),1768
BUF_SIZE 0 sdkp (-1),1768
DATA_SOURCE 0 sdkp $0
RX_PATH
TASK_NOT_RUNNING
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 sd_check_events() -> media_not_present()

Type Parameter Key Value
PARAM_VALUE 0 sdkp 4096-ptr_max
PARAM_VALUE 0 sdkp->device 4096-ptr_max
PARAM_VALUE 1 sshdr 1224765889628639232
PARAM_VALUE 1 sshdr->asc 0
PARAM_VALUE 1 sshdr->response_code 0
PARAM_VALUE 1 sshdr->sense_key 0
BUF_SIZE 0 sdkp s32min-(-2),1-s32max
BUF_SIZE 0 sdkp s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sdkp unit_byte

drivers/scsi/sd.c sd_spinup_disk() -> media_not_present()

Type Parameter Key Value
PARAM_VALUE 0 sdkp 4096-ptr_max
PARAM_VALUE 1 sshdr 9010063738550726656
DATA_SOURCE 0 sdkp $0