Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/vmw_pvscsi.c pvscsi_queue_lck() -> pvscsi_queue_ring()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->cmd 4096-ptr_max
PARAM_VALUE 1 ctx->cmd->device 4096-ptr_max
PARAM_VALUE 1 ctx->cmd->flags 0-s32max
PARAM_VALUE 1 ctx->cmd->resid_len 0
PARAM_VALUE 1 ctx->cmd->submitter 0-1
PARAM_VALUE 2 cmd 4096-ptr_max
PARAM_VALUE 2 cmd->device 4096-ptr_max
PARAM_VALUE 2 cmd->flags 0-s32max
PARAM_VALUE 2 cmd->resid_len 0
PARAM_VALUE 2 cmd->submitter 0-1
PARAM_VALUE 2 *cmd->cmnd 0-255
DATA_SOURCE 1 ctx r pvscsi_acquire_context
DATA_SOURCE 2 cmd $0
PARAM_COMPARE 0 &adapter->cmd_pool != $0->cmd_pool.next
HARD_MAX 2 cmd->submitter 1
MEM_ZERO 2 cmd->sense_buffer
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 irq_flags
LOCK2 shost->host_lock
LOCK2 0 &adapter->hw_lock
HALF_LOCKED2 &sdev->state_mutex
TYPE_LOCK (struct pvscsi_adapter)->hw_lock