Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/sd.c read_capacity_16() -> sd_read_protection_type()

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 buffer 4096-ptr_max
BUF_SIZE 0 sdkp (-1),1768
BUF_SIZE 0 sdkp (-1),1768
BUF_SIZE 1 buffer 512
BUF_SIZE 1 buffer 512
DATA_SOURCE 0 sdkp $0
DATA_SOURCE 1 buffer $3
MEM_ZERO 1 buffer
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