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_process_sense_data()

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 scmd 4096-ptr_max
PARAM_VALUE 2 scmd->device 4096-ptr_max
PARAM_VALUE 2 scmd->device->hostdata 4096-ptr_max
PARAM_VALUE 3 taskid 1-u16max
CAPPED_DATA 0 adapter->shost->can_queue 1
CAPPED_DATA 0 adapter->shost->tag_set.nr_hw_queues 1
CAPPED_DATA 3 taskid 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 scsiio_rep r leapraid_get_reply_vaddr
DATA_SOURCE 2 scmd r leapraid_get_scmd_from_taskid
DATA_SOURCE 3 taskid $1
PARAM_COMPARE 0 adapter->shost->can_queue >= $3
PARAM_COMPARE 3 taskid <= $0->shost->can_queue
CONSTRAINT 3 taskid <=3826
NOCHECK_CALL