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_alloc()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->cmdq.mask 8191
PARAM_VALUE 0 iommu->cmdq.qbr 24
PARAM_VALUE 0 iommu->cmdq.qcr 72
PARAM_VALUE 0 iommu->cmdq.qid 0
PARAM_VALUE 0 iommu->ddt_root 4096-ptr_max
PARAM_VALUE 0 iommu->dev 4096-ptr_max
PARAM_VALUE 0 iommu->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 iommu->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 iommu->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 iommu->fltq.mask 4095
PARAM_VALUE 0 iommu->fltq.qbr 40
PARAM_VALUE 0 iommu->fltq.qcr 76
PARAM_VALUE 0 iommu->fltq.qid 1
PARAM_VALUE 0 iommu->irqs_count 1-s32max
PARAM_VALUE 1 queue 4096-ptr_max
PARAM_VALUE 1 queue->mask 8191
PARAM_VALUE 1 queue->qbr 24
PARAM_VALUE 1 queue->qcr 72
PARAM_VALUE 1 queue->qid 0
PARAM_VALUE 2 entry_size 16
BUF_SIZE 0 iommu 248
BUF_SIZE 0 iommu->dev 1616
CAPPED_DATA 0 iommu->irqs_count 1
DATA_SOURCE 0 iommu $0
FUZZY_MAX 0 iommu->irqs_count 4
MEM_ZERO 0 iommu
MEM_ZERO 1 queue
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.irq 0-u32max
HOST_DATA 0 iommu->cmdq.mask 8191
HOST_DATA 0 iommu->cmdq.phys 0-u64max
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->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.phys 0-u64max
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 0 *iommu s64min-s64max
HOST_DATA 1 queue->head.counter 0
HOST_DATA 1 queue->irq 0
HOST_DATA 1 queue->mask 8191
HOST_DATA 1 queue->phys 0
HOST_DATA 1 queue->prod.counter 0
HOST_DATA 1 queue->qbr 24
HOST_DATA 1 queue->qcr 72
HOST_DATA 1 queue->qid 0
HOST_DATA 1 queue->tail.counter 0
UNITS 2 entry_size unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->cmdq.base 4096-ptr_max
PARAM_VALUE 0 iommu->cmdq.qbr 24
PARAM_VALUE 0 iommu->cmdq.qcr 72
PARAM_VALUE 0 iommu->cmdq.qid 0
PARAM_VALUE 0 iommu->ddt_root 4096-ptr_max
PARAM_VALUE 0 iommu->dev 4096-ptr_max
PARAM_VALUE 0 iommu->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 iommu->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 iommu->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 iommu->fltq.mask 4095
PARAM_VALUE 0 iommu->fltq.qbr 40
PARAM_VALUE 0 iommu->fltq.qcr 76
PARAM_VALUE 0 iommu->fltq.qid 1
PARAM_VALUE 0 iommu->irqs_count 1-s32max
PARAM_VALUE 1 queue 4096-ptr_max
PARAM_VALUE 1 queue->mask 4095
PARAM_VALUE 1 queue->qbr 40
PARAM_VALUE 1 queue->qcr 76
PARAM_VALUE 1 queue->qid 1
PARAM_VALUE 2 entry_size 32
BUF_SIZE 0 iommu 248
BUF_SIZE 0 iommu->dev 1616
CAPPED_DATA 0 iommu->irqs_count 1
DATA_SOURCE 0 iommu $0
FUZZY_MAX 0 iommu->irqs_count 4
MEM_ZERO 0 iommu
MEM_ZERO 1 queue
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.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->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.phys 0-u64max
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 0 *iommu s64min-s64max
HOST_DATA 1 queue->head.counter 0
HOST_DATA 1 queue->irq 0
HOST_DATA 1 queue->mask 4095
HOST_DATA 1 queue->phys 0
HOST_DATA 1 queue->prod.counter 0
HOST_DATA 1 queue->qbr 40
HOST_DATA 1 queue->qcr 76
HOST_DATA 1 queue->qid 1
HOST_DATA 1 queue->tail.counter 0
UNITS 2 entry_size unit_byte