Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/initio.c i91u_queuecommand_lck() -> initio_build_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 cblk 4096-ptr_max
PARAM_VALUE 1 cblk->next 0
PARAM_VALUE 1 cblk->status 1
PARAM_VALUE 2 cmnd 4096-ptr_max
PARAM_VALUE 2 cmnd->device 4096-ptr_max
PARAM_VALUE 2 cmnd->device->host 4096-ptr_max
PARAM_VALUE 2 cmnd->device->host->hostdata 4096-ptr_max
PARAM_VALUE 2 cmnd->device->host->hostdata->avail_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 cmnd->device->host->hostdata->first_avail->status 1
PARAM_VALUE 2 cmnd->flags 0-s32max
PARAM_VALUE 2 cmnd->resid_len 0
PARAM_VALUE 2 cmnd->submitter 0-1
PARAM_VALUE 2 *cmnd->cmnd 0-255
DATA_SOURCE 1 cblk r initio_alloc_scb
DATA_SOURCE 2 cmnd $0
HARD_MAX 2 cmnd->submitter 1
MEM_ZERO 2 cmnd->sense_buffer
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq_flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex