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_eh_reset() -> ips_next()

Type Parameter Key Value
PARAM_VALUE 0 ha 4096-ptr_max
PARAM_VALUE 0 ha->active 1-255
PARAM_VALUE 0 ha->func.reset 4096-ptr_max
PARAM_VALUE 0 ha->ioctl_reset 0
PARAM_VALUE 0 ha->num_ioctl 0
PARAM_VALUE 0 ha->requires_esl 1
PARAM_VALUE 0 ha->scb_activelist.head 0
PARAM_VALUE 0 ha->subsys 4096-ptr_max
PARAM_VALUE 0 ha->subsys->param 4096-ptr_max
PARAM_VALUE 0 *ha->dcdb_active 0-4294967295
PARAM_VALUE 1 intr 1
CAPPED_DATA 0 ha->nbus 1
MEM_ZERO 0 ha->dummy
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 SC->device->host->host_lock
HALF_LOCKED2 irq
HALF_LOCKED2 irq_flags
HALF_LOCKED2 shost->host_lock

drivers/scsi/ips.c do_ipsintr() -> ips_next()

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->dcdb_active 0-4294967295
PARAM_VALUE 1 intr 0
DATA_SOURCE 0 ha $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/scsi/ips.c ips_queue_lck() -> ips_next()

Type Parameter Key Value
PARAM_VALUE 0 ha 4096-ptr_max
PARAM_VALUE 0 ha->active 1-255
PARAM_VALUE 0 ha->ha_id 4096-ptr_max
PARAM_VALUE 0 ha->scb_waitlist.head 1-u64max
PARAM_VALUE 0 ha->scb_waitlist.head->host_scribble 0
PARAM_VALUE 0 ha->scb_waitlist.tail 4096-ptr_max
PARAM_VALUE 0 ha->scb_waitlist.tail->host_scribble 0
PARAM_VALUE 1 intr 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq_flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex