Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/riscv/iommu.c riscv_iommu_queue_disable() -> riscv_iommu_queue_vec()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 n 0-1
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/riscv/iommu.c riscv_iommu_queue_enable() -> riscv_iommu_queue_vec()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 n 0-1
BUF_SIZE 0 iommu 248
BUF_SIZE 0 iommu->dev 1616
CAPPED_DATA 0 iommu->irqs_count 1
DATA_SOURCE 0 iommu $0
HARD_MAX 1 n 1
MEM_ZERO 0 iommu
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 iommu->caps 0-u64max
HOST_DATA 0 iommu->cmdq.head.counter s32min-s32max
HOST_DATA 0 iommu->cmdq.iommu->caps 0-u64max
HOST_DATA 0 iommu->cmdq.iommu->cmdq.head.counter s32min-s32max
HOST_DATA 0 iommu->cmdq.iommu->cmdq.irq 0
HOST_DATA 0 iommu->cmdq.iommu->cmdq.mask 1-u32max
HOST_DATA 0 iommu->cmdq.iommu->cmdq.prod.counter s32min-s32max
HOST_DATA 0 iommu->cmdq.iommu->cmdq.tail.counter s32min-s32max
HOST_DATA 0 iommu->cmdq.iommu->ddt_mode 0,4
HOST_DATA 0 iommu->cmdq.iommu->ddt_phys 0-u64max
HOST_DATA 0 iommu->cmdq.iommu->fctl 0-u32max
HOST_DATA 0 iommu->cmdq.iommu->fltq.head.counter s32min-s32max
HOST_DATA 0 iommu->cmdq.iommu->fltq.irq 0
HOST_DATA 0 iommu->cmdq.iommu->fltq.mask 1-u32max
HOST_DATA 0 iommu->cmdq.iommu->fltq.prod.counter s32min-s32max
HOST_DATA 0 iommu->cmdq.iommu->fltq.tail.counter s32min-s32max
HOST_DATA 0 iommu->cmdq.iommu->icvec 0-u32max
HOST_DATA 0 iommu->cmdq.iommu->iommu.max_pasids 0-u32max
HOST_DATA 0 iommu->cmdq.iommu->iommu.ready 0-1
HOST_DATA 0 iommu->cmdq.irq 0-u32max
HOST_DATA 0 iommu->cmdq.mask 8191
HOST_DATA 0 iommu->cmdq.prod.counter s32min-s32max
HOST_DATA 0 iommu->cmdq.qbr 24
HOST_DATA 0 iommu->cmdq.qcr 72
HOST_DATA 0 iommu->cmdq.qid 0
HOST_DATA 0 iommu->cmdq.tail.counter s32min-s32max
HOST_DATA 0 iommu->ddt_mode 0-u32max
HOST_DATA 0 iommu->ddt_phys 0-u64max
HOST_DATA 0 iommu->fctl 0-u32max
HOST_DATA 0 iommu->fltq.head.counter s32min-s32max
HOST_DATA 0 iommu->fltq.irq 0-u32max
HOST_DATA 0 iommu->fltq.mask 4095
HOST_DATA 0 iommu->fltq.prod.counter s32min-s32max
HOST_DATA 0 iommu->fltq.qbr 40
HOST_DATA 0 iommu->fltq.qcr 76
HOST_DATA 0 iommu->fltq.qid 1
HOST_DATA 0 iommu->fltq.tail.counter s32min-s32max
HOST_DATA 0 iommu->icvec 0-u32max
HOST_DATA 0 iommu->iommu.max_pasids 0-u32max
HOST_DATA 0 iommu->iommu.ready 0-1
HOST_DATA 0 iommu->irqs_count 1-s32max[c]
HOST_DATA 1 n 0-1