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

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->bus 0
PARAM_VALUE 1 scb->scsi_cmd 4096-ptr_max
PARAM_VALUE 1 scb->scsi_cmd->cmnd 4096-ptr_max
CAPPED_DATA 1 scb 1
DATA_SOURCE 0 ha $0
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

drivers/scsi/ips.c ips_send_cmd() -> ips_reqsen()

Type Parameter Key Value
PARAM_VALUE 0 ha 4096-ptr_max
PARAM_VALUE 0 ha->pcidev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 *ha->dcdb_active 0-4294967295
PARAM_VALUE 1 scb 4096-ptr_max
PARAM_VALUE 1 scb->bus 0
PARAM_VALUE 1 scb->callback 0,4096-ptr_max
PARAM_VALUE 1 scb->scsi_cmd 4096-ptr_max
PARAM_VALUE 1 scb->scsi_cmd->cmnd 4096-ptr_max
DATA_SOURCE 0 ha $0
DATA_SOURCE 1 scb $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ha->ioctl_datasize
NO_OVERFLOW_SIMPLE 0 ha->scb_activelist.head->breakup
NO_OVERFLOW_SIMPLE 0 ha->scb_activelist.head->sg_count
NO_OVERFLOW_SIMPLE 0 ha->scb_activelist.tail->breakup
NO_OVERFLOW_SIMPLE 0 ha->scb_activelist.tail->sg_count
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->breakup
NO_OVERFLOW_SIMPLE 0 ha->scb_freelist->sg_count
NO_OVERFLOW_SIMPLE 1 scb->breakup
NO_OVERFLOW_SIMPLE 1 scb->sg_count