Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/xen-scsifront.c scsifront_queuecommand() -> map_data_for_request()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->host_active 0-1,3-u32max
PARAM_VALUE 0 info->pause 0
PARAM_VALUE 1 sc 4096-ptr_max
PARAM_VALUE 1 sc->device 4096-ptr_max
PARAM_VALUE 1 sc->flags 0-s32max
PARAM_VALUE 1 sc->resid_len 0
PARAM_VALUE 1 sc->result 0
PARAM_VALUE 1 sc->submitter 0-1
PARAM_VALUE 1 *sc->cmnd 0-255
PARAM_VALUE 2 shadow 4096-ptr_max
PARAM_VALUE 2 shadow->act 1
PARAM_VALUE 2 shadow->sc 4096-ptr_max
PARAM_VALUE 2 shadow->sc->device 4096-ptr_max
PARAM_VALUE 2 shadow->sc->flags 0-s32max
PARAM_VALUE 2 shadow->sc->resid_len 0
PARAM_VALUE 2 shadow->sc->result 0
PARAM_VALUE 2 shadow->sc->submitter 0-1
DATA_SOURCE 1 sc $1
DATA_SOURCE 2 shadow r scsi_cmd_priv
HARD_MAX 1 sc->submitter 1
MEM_ZERO 1 sc->sense_buffer
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex