Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/arcmsr/arcmsr_hba.c arcmsr_hbaD_handle_isr() -> arcmsr_hbaD_postqueue_isr()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->adapter_type 3
PARAM_VALUE 0 acb->pmuB->doneq_index 0-263
PARAM_VALUE 0 acb->pmuD 4096-ptr_max
PARAM_VALUE 0 acb->pmuD->doneq_index 0-256,16385-16640
PARAM_VALUE 0 acb->pmuD->host_int_status 4608-ptr_max
PARAM_VALUE 0 acb->pmuD->outbound_doorbell 1152,4096-18446744073709548672
PARAM_VALUE 0 acb->pmuD->outboundlist_interrupt_cause 4096-ptr_max
PARAM_VALUE 0 *acb->pmuB->done_qbuffer 0-4294967295
DATA_SOURCE 0 acb $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 acb->in_doorbell 0-u32max
HOST_DATA 0 acb->out_doorbell 0-u32max