Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/ips.c ips_send_wait() -> ips_wait()

Type Parameter Key Value
PARAM_VALUE 0 ha 4096-ptr_max
PARAM_VALUE 0 ha->cmd_in_progress 5,10,23,34,56,64,88,188,215
PARAM_VALUE 0 ha->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ha->scbs 4096-ptr_max
PARAM_VALUE 0 ha->waitflag 0-1
PARAM_VALUE 0 *ha->dcdb_active 0-4294967295
PARAM_VALUE 2 intr 0-1
DATA_SOURCE 0 ha $0
DATA_SOURCE 1 time $2
DATA_SOURCE 2 intr $3
FUZZY_MAX 0 ha->waitflag 1
HARD_MAX 2 intr 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->breakup
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->sg_count