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_chkstatus() -> ips_map_status()

Type Parameter Key Value
PARAM_VALUE 0 ha 4096-ptr_max
PARAM_VALUE 0 ha->active 1-255
PARAM_VALUE 0 ha->func.intr 4096-ptr_max
PARAM_VALUE 0 ha->func.isintr 4096-ptr_max
PARAM_VALUE 0 ha->func.statupd 4096-ptr_max
PARAM_VALUE 0 ha->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 ha->scbs 4096-ptr_max
PARAM_VALUE 0 ha->sp.residue_len 0
PARAM_VALUE 0 ha->sp.scb_addr 4096-ptr_max
PARAM_VALUE 0 *ha->dcdb_active 0-4294967295
PARAM_VALUE 1 scb 4096-ptr_max
PARAM_VALUE 1 scb->basic_status 1-255
PARAM_VALUE 1 scb->scsi_cmd 4096-ptr_max
PARAM_VALUE 2 sp 4096-ptr_max
PARAM_VALUE 2 sp->residue_len 0
PARAM_VALUE 2 sp->scb_addr 4096-ptr_max
BUF_SIZE 2 sp 24
CAPPED_DATA 1 scb 1
DATA_SOURCE 0 ha $0
PARAM_COMPARE 0 &ha->sp == $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->breakup
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->sg_count
HALF_LOCKED2 host->host_lock