Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->base 4096-ptr_max
PARAM_VALUE 0 queue->iommu 0
PARAM_VALUE 0 queue->qbr 40
PARAM_VALUE 0 queue->qcr 76
PARAM_VALUE 0 queue->qid 1
MEM_ZERO 0 queue
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 queue->head.counter 0
HOST_DATA 0 queue->irq 0
HOST_DATA 0 queue->mask 4095
HOST_DATA 0 queue->prod.counter 0
HOST_DATA 0 queue->qbr 40
HOST_DATA 0 queue->qcr 76
HOST_DATA 0 queue->qid 1
HOST_DATA 0 queue->tail.counter 0
UNITS 0 queue unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->base 4096-ptr_max
PARAM_VALUE 0 queue->iommu 0
PARAM_VALUE 0 queue->qbr 24
PARAM_VALUE 0 queue->qcr 72
PARAM_VALUE 0 queue->qid 0
MEM_ZERO 0 queue
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 queue->head.counter 0
HOST_DATA 0 queue->irq 0
HOST_DATA 0 queue->mask 1-u32max
HOST_DATA 0 queue->phys 0
HOST_DATA 0 queue->prod.counter 0
HOST_DATA 0 queue->qbr 24
HOST_DATA 0 queue->qcr 72
HOST_DATA 0 queue->qid 0
HOST_DATA 0 queue->tail.counter 0
UNITS 0 queue unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex