Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/arcmsr/arcmsr_hba.c arcmsr_queue_command_lck() -> arcmsr_post_ccb()

Type Parameter Key Value
PARAM_VALUE 0 acb 4096-ptr_max
PARAM_VALUE 0 acb->ccblist_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 acb->host 4096-ptr_max
PARAM_VALUE 1 ccb 4096-ptr_max
PARAM_VALUE 1 ccb->arcmsr_cdb.Bus 0
PARAM_VALUE 1 ccb->arcmsr_cdb.Cdb 0
PARAM_VALUE 1 ccb->arcmsr_cdb.CdbLength 0
PARAM_VALUE 1 ccb->arcmsr_cdb.DataLength 0
PARAM_VALUE 1 ccb->arcmsr_cdb.DeviceStatus 0
PARAM_VALUE 1 ccb->arcmsr_cdb.Flags 0-1,4-5
PARAM_VALUE 1 ccb->arcmsr_cdb.Function 1
PARAM_VALUE 1 ccb->arcmsr_cdb.msgContext 0
PARAM_VALUE 1 ccb->arcmsr_cdb.u.address 0-4294967295
PARAM_VALUE 1 ccb->arcmsr_cdb.u.addresshigh 1-4294967295
PARAM_VALUE 1 ccb->arcmsr_cdb.u.length 0-4294967295
PARAM_VALUE 1 ccb->list.next 4096-ptr_max
PARAM_VALUE 1 ccb->list.next->next 4096-ptr_max
PARAM_VALUE 1 ccb->list.next->prev 4096-ptr_max
PARAM_VALUE 1 ccb->list.prev 4096-ptr_max
PARAM_VALUE 1 ccb->list.prev->next 4096-ptr_max
PARAM_VALUE 1 ccb->list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ccb->pcmd 4096-ptr_max
PARAM_VALUE 1 ccb->pcmd->device 4096-ptr_max
PARAM_VALUE 1 ccb->pcmd->flags 0-s32max
PARAM_VALUE 1 ccb->pcmd->host_scribble 0
PARAM_VALUE 1 ccb->pcmd->resid_len 0
PARAM_VALUE 1 ccb->pcmd->result 0
PARAM_VALUE 1 ccb->pcmd->submitter 0-1
PARAM_VALUE 1 *ccb->arcmsr_cdb->Cdb 0-255
DATA_SOURCE 1 ccb r arcmsr_get_freeccb
PARAM_COMPARE 0 &acb->ccb_free_list != $0->ccb_free_list.next
BIT_INFO 0 acb->acb_flags 0x0,0xfffff7ff
MEM_ZERO 1 &ccb->arcmsr_cdb
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq_flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex