Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/initio.c i91u_queuecommand_lck() -> initio_exec_scb()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->avail_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->first_avail->next 0
PARAM_VALUE 0 host->first_avail->status 1
PARAM_VALUE 0 host->last_avail 0
PARAM_VALUE 1 scb 4096-ptr_max
PARAM_VALUE 1 scb->flags 6,134
PARAM_VALUE 1 scb->hastat 0
PARAM_VALUE 1 scb->next 0
PARAM_VALUE 1 scb->opcode 1
PARAM_VALUE 1 scb->post 2170570155654615040
PARAM_VALUE 1 scb->senselen 14
PARAM_VALUE 1 scb->srb 4096-ptr_max
PARAM_VALUE 1 scb->srb->device 4096-ptr_max
PARAM_VALUE 1 scb->srb->flags 0-s32max
PARAM_VALUE 1 scb->srb->resid_len 0
PARAM_VALUE 1 scb->srb->submitter 0-1
PARAM_VALUE 1 scb->status 1
PARAM_VALUE 1 scb->tagmsg 0,32
PARAM_VALUE 1 scb->tastat 0
PARAM_VALUE 1 *scb->cdb 0-255
DATA_SOURCE 1 scb r initio_alloc_scb
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 scb->sglen
LOCK2 irq_flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex