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_build_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 1 ccb 4096-ptr_max
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 2 pcmd 4096-ptr_max
PARAM_VALUE 2 pcmd->device 4096-ptr_max
PARAM_VALUE 2 pcmd->device->host 4096-ptr_max
PARAM_VALUE 2 pcmd->device->host->hostdata->ccblist_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 pcmd->device->id 0-15,17-u32max
PARAM_VALUE 2 pcmd->flags 0-s32max
PARAM_VALUE 2 pcmd->host_scribble 0
PARAM_VALUE 2 pcmd->resid_len 0
PARAM_VALUE 2 pcmd->result 0
PARAM_VALUE 2 pcmd->submitter 0-1
PARAM_VALUE 2 *pcmd->cmnd 0-255
DATA_SOURCE 1 ccb r arcmsr_get_freeccb
DATA_SOURCE 2 pcmd $0
PARAM_COMPARE 0 &acb->ccb_free_list != $0->ccb_free_list.next
BIT_INFO 0 acb->acb_flags 0x0,0xfffff7ff
HARD_MAX 2 pcmd->submitter 1
MEM_ZERO 2 pcmd->sense_buffer
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq_flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex