Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ufs/core/ufshcd.c ufshcd_queue_reserved_command() -> ufshcd_send_command()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->flags 0-23
PARAM_VALUE 1 cmd->resid_len 0
PARAM_VALUE 1 cmd->submitter 0
PARAM_VALUE 2 hwq 0,4096-ptr_max
DATA_SOURCE 1 cmd $1
BIT_INFO 1 cmd->flags 0x0,0x17
MEM_ZERO 1 cmd->sense_buffer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/ufs/core/ufshcd.c ufshcd_queuecommand() -> ufshcd_send_command()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 0 hba->caps 16-u32max
PARAM_VALUE 0 hba->req_abort_count 0
PARAM_VALUE 0 hba->ufshcd_state 1-2,5-u32max
PARAM_VALUE 0 hba->utrdl_base_addr 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->device 4096-ptr_max
PARAM_VALUE 1 cmd->device->host->dma_dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 1 cmd->device->host->dma_dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 1 cmd->device->host->dma_dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 cmd->flags 0-s32max
PARAM_VALUE 1 cmd->resid_len 0
PARAM_VALUE 1 cmd->submitter 0-1
PARAM_VALUE 1 *cmd->cmnd 0-255
PARAM_VALUE 2 hwq 0,4096-ptr_max
DATA_SOURCE 1 cmd $1
HARD_MAX 1 cmd->submitter 1
MEM_ZERO 1 cmd->sense_buffer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sdev->state_mutex