Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/leapraid/leapraid_os.c leapraid_scsiio_done() -> leapraid_scsiio_done_dispatch()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->shost 4096-ptr_max
PARAM_VALUE 0 adapter->shost->can_queue 1-s32max
PARAM_VALUE 0 adapter->shost->tag_set.nr_hw_queues 1-u32max
PARAM_VALUE 1 scsiio_rep 4096-ptr_max
PARAM_VALUE 2 sdev_priv 4096-ptr_max
PARAM_VALUE 2 sdev_priv->starget_priv 4096-ptr_max
PARAM_VALUE 2 sdev_priv->starget_priv->deleted 0
PARAM_VALUE 3 scmd 4096-ptr_max
PARAM_VALUE 3 scmd->device 4096-ptr_max
PARAM_VALUE 3 scmd->device->hostdata 4096-ptr_max
PARAM_VALUE 4 taskid 1-u16max
PARAM_VALUE 5 response_code 0-255
BUF_SIZE 2 sdev_priv 12,16,18,24,32,272,280,520,2064
BUF_SIZE 2 sdev_priv 12,16,18,24,32,272,280,520,2064
CAPPED_DATA 0 adapter->shost->can_queue 1
CAPPED_DATA 0 adapter->shost->tag_set.nr_hw_queues 1
CAPPED_DATA 4 taskid 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 scsiio_rep r leapraid_get_reply_vaddr
DATA_SOURCE 3 scmd r leapraid_get_scmd_from_taskid
DATA_SOURCE 4 taskid $1
FUZZY_MAX 5 response_code 0
PARAM_COMPARE 0 adapter->shost->can_queue >= $4
PARAM_COMPARE 4 taskid <= $0->shost->can_queue
CONSTRAINT 4 taskid <=3826
NOCHECK_CALL
UNITS 2 sdev_priv unit_byte