Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/arcmsr/arcmsr_hba.c arcmsr_drain_donequeue() -> arcmsr_report_ccb_state()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->adapter_type 0-5
PARAM_VALUE 0 acb->pmuB->doneq_index 0-263
PARAM_VALUE 0 acb->pmuB->drv2iop_doorbell 132096,137336
PARAM_VALUE 0 acb->pmuB->iop2drv_doorbell 132104,137328
PARAM_VALUE 0 acb->pmuD->doneq_index 0-256,16385-16640
PARAM_VALUE 0 acb->pmuD->host_int_status 512,4608-18446744073709548032
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->pmuD->outboundlist_read_pointer 4208
PARAM_VALUE 0 *acb->pmuB->done_qbuffer 0-4294967295
PARAM_VALUE 1 ccb 4096-ptr_max
PARAM_VALUE 1 ccb->acb 4096-ptr_max
PARAM_VALUE 1 ccb->startdone 21930
CAPPED_DATA 0 acb 1
CAPPED_DATA 1 ccb->acb 1
DATA_SOURCE 0 acb $0
DATA_SOURCE 1 ccb $1
DATA_SOURCE 2 error $2
PARAM_COMPARE 0 acb == $1->acb
PARAM_COMPARE 0 acb == $1->acb
HARD_MAX 0 acb->adapter_type 5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 acb->in_doorbell 0-u32max
HOST_DATA 0 acb->out_doorbell 0-u32max
HALF_LOCKED2 flags
HALF_LOCKED2 0 &acb->doneq_lock

drivers/scsi/arcmsr/arcmsr_hba.c arcmsr_hbaA_polling_ccbdone() -> arcmsr_report_ccb_state()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->acb_flags 0,512-u32max
PARAM_VALUE 0 acb->adapter_type 0
PARAM_VALUE 0 acb->ccboutstandingcount.counter s32min-(-1),1-s32max
PARAM_VALUE 0 acb->host 4096-ptr_max
PARAM_VALUE 0 acb->maxFreeCCB 1-u32max
PARAM_VALUE 0 acb->pccb_pool 4096-ptr_max
PARAM_VALUE 1 ccb 4096-ptr_max
PARAM_VALUE 1 ccb->acb 4096-ptr_max
PARAM_VALUE 1 ccb->startdone 21930
CAPPED_DATA 0 acb 1
CAPPED_DATA 1 ccb->acb 1
DATA_SOURCE 0 acb $0
PARAM_COMPARE 0 acb == $1->acb
PARAM_COMPARE 0 acb == $1->acb
BIT_INFO 0 acb->acb_flags 0x200,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/arcmsr/arcmsr_hba.c arcmsr_hbaB_polling_ccbdone() -> arcmsr_report_ccb_state()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->acb_flags 0,512-u32max
PARAM_VALUE 0 acb->adapter_type 1
PARAM_VALUE 0 acb->ccboutstandingcount.counter s32min-(-1),1-s32max
PARAM_VALUE 0 acb->host 4096-ptr_max
PARAM_VALUE 0 acb->maxFreeCCB 1-u32max
PARAM_VALUE 0 acb->pccb_pool 4096-ptr_max
PARAM_VALUE 0 acb->pmuB->done_qbuffer 4096-ptr_max
PARAM_VALUE 0 acb->pmuB->doneq_index 0-263
PARAM_VALUE 0 acb->pmuB->iop2drv_doorbell 132104,137328
PARAM_VALUE 1 ccb 4096-ptr_max
PARAM_VALUE 1 ccb->acb 4096-ptr_max
PARAM_VALUE 1 ccb->startdone 21930
CAPPED_DATA 0 acb 1
CAPPED_DATA 1 ccb->acb 1
DATA_SOURCE 0 acb $0
PARAM_COMPARE 0 acb == $1->acb
PARAM_COMPARE 0 acb == $1->acb
BIT_INFO 0 acb->acb_flags 0x200,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/arcmsr/arcmsr_hba.c arcmsr_hbaC_polling_ccbdone() -> arcmsr_report_ccb_state()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->acb_flags 0,512-u32max
PARAM_VALUE 0 acb->adapter_type 2
PARAM_VALUE 0 acb->ccboutstandingcount.counter s32min-(-1),1-s32max
PARAM_VALUE 0 acb->host 4096-ptr_max
PARAM_VALUE 0 acb->maxFreeCCB 1-u32max
PARAM_VALUE 0 acb->pccb_pool 4096-ptr_max
PARAM_VALUE 1 ccb 4096-ptr_max
PARAM_VALUE 1 ccb->acb 4096-ptr_max
PARAM_VALUE 1 ccb->startdone 21930
CAPPED_DATA 0 acb 1
CAPPED_DATA 1 ccb->acb 1
DATA_SOURCE 0 acb $0
PARAM_COMPARE 0 acb == $1->acb
PARAM_COMPARE 0 acb == $1->acb
BIT_INFO 0 acb->acb_flags 0x200,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/arcmsr/arcmsr_hba.c arcmsr_hbaD_polling_ccbdone() -> arcmsr_report_ccb_state()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->acb_flags 0,512-u32max
PARAM_VALUE 0 acb->adapter_type 3
PARAM_VALUE 0 acb->ccboutstandingcount.counter s32min-(-1),1-s32max
PARAM_VALUE 0 acb->doneq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 acb->host 4096-ptr_max
PARAM_VALUE 0 acb->maxFreeCCB 1-u32max
PARAM_VALUE 0 acb->pccb_pool 4096-ptr_max
PARAM_VALUE 0 acb->pmuD->done_qbuffer 4096-ptr_max
PARAM_VALUE 0 acb->pmuD->doneq_index 1-256,16385-16640
PARAM_VALUE 1 ccb 4096-ptr_max
PARAM_VALUE 1 ccb->acb 4096-ptr_max
PARAM_VALUE 1 ccb->startdone 21930
CAPPED_DATA 0 acb 1
CAPPED_DATA 1 ccb->acb 1
DATA_SOURCE 0 acb $0
PARAM_COMPARE 0 acb == $1->acb
PARAM_COMPARE 0 acb == $1->acb
BIT_INFO 0 acb->acb_flags 0x200,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/arcmsr/arcmsr_hba.c arcmsr_hbaE_polling_ccbdone() -> arcmsr_report_ccb_state()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->acb_flags 0,512-u32max
PARAM_VALUE 0 acb->adapter_type 4-5
PARAM_VALUE 0 acb->ccboutstandingcount.counter s32min-(-1),1-s32max
PARAM_VALUE 0 acb->doneq_index 0-4294967294
PARAM_VALUE 0 acb->doneq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 acb->host 4096-ptr_max
PARAM_VALUE 0 acb->maxFreeCCB 1-u32max
PARAM_VALUE 0 acb->pCompletionQ 4096-ptr_max
PARAM_VALUE 0 acb->pccb_pool 4096-ptr_max
PARAM_VALUE 1 ccb 4096-ptr_max
PARAM_VALUE 1 ccb->acb 4096-ptr_max
PARAM_VALUE 1 ccb->startdone 21930
CAPPED_DATA 0 acb 1
CAPPED_DATA 0 acb->doneq_index 1
CAPPED_DATA 1 ccb->acb 1
DATA_SOURCE 0 acb $0
PARAM_COMPARE 0 acb == $1->acb
PARAM_COMPARE 0 acb == $1->acb
PARAM_COMPARE 1 ccb == $1->acb
PARAM_COMPARE 1 ccb == $1->acb
BIT_INFO 0 acb->acb_flags 0x200,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &pool->lock