Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/iommu/riscv/iommu.c riscv_iommu_init_check() -> riscv_iommu_disable()

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->dev 4096-ptr_max
PARAM_VALUE 0 iommu->dev->devres_head.prev 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
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->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.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

drivers/iommu/riscv/iommu-pci.c riscv_iommu_pci_shutdown() -> riscv_iommu_disable()

Type Parameter Key Value
BUF_SIZE 0 iommu s32min-(-2),1-s32max
BUF_SIZE 0 iommu s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 iommu unit_byte
LOCK2 &dev->mutex
HALF_LOCKED2 &parent->mutex
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct device)->mutex

drivers/iommu/riscv/iommu-platform.c riscv_iommu_platform_shutdown() -> riscv_iommu_disable()

Type Parameter Key Value
BUF_SIZE 0 iommu s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_dev->mutex
HALF_LOCKED2 &parent->mutex
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct device)->mutex