Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/xen-scsifront.c scsifront_action_handler() -> scsifront_return()

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
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 host->host_lock
LOCK2 irq

drivers/scsi/xen-scsifront.c scsifront_action_handler() -> scsifront_return()

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 0 info->shadow_lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 host->host_lock
LOCK2 irq

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

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
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex

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

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 0 info->shadow_lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->pause 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 shost->host_lock
HALF_LOCKED2 &sdev->state_mutex