Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/xen-scsifront.c scsifront_action_handler() -> scsifront_do_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 shadow 4096-ptr_max
PARAM_VALUE 1 shadow->act 2-3
PARAM_VALUE 1 shadow->rslt_reset 0
PARAM_VALUE 1 shadow->sc 4096-ptr_max
PARAM_VALUE 1 shadow->sc->device 4096-ptr_max
PARAM_VALUE 1 shadow->wq_reset.head.next 4096-ptr_max
PARAM_VALUE 1 shadow->wq_reset.head.next->next 4096-ptr_max
PARAM_VALUE 1 shadow->wq_reset.head.prev 4096-ptr_max
PARAM_VALUE 1 shadow->wq_reset.head.prev->next 4096-ptr_max
PARAM_VALUE 1 shadow->wq_reset.head.prev->prev 4096-ptr_max
BUF_SIZE 1 shadow 856
DATA_SOURCE 1 shadow r _kzalloc_noprof
PREEMPT_ADD <- disables preempt
LOCK2 host->host_lock
LOCK2 irq

drivers/scsi/xen-scsifront.c scsifront_queuecommand() -> scsifront_do_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 shadow 4096-ptr_max
PARAM_VALUE 1 shadow->act 1
PARAM_VALUE 1 shadow->sc 4096-ptr_max
PARAM_VALUE 1 shadow->sc->device 4096-ptr_max
PARAM_VALUE 1 shadow->sc->flags 0-s32max
PARAM_VALUE 1 shadow->sc->resid_len 0
PARAM_VALUE 1 shadow->sc->result 0
PARAM_VALUE 1 shadow->sc->submitter 0-1
PARAM_VALUE 1 *shadow->gref s32min-s32max
DATA_SOURCE 1 shadow r scsi_cmd_priv
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex