Symbol: DMAR_IVA_REG
sys/dev/acpi/acpidmar.c
1480
iommu_write_8(iommu, DMAR_IVA_REG(iommu), iva);
sys/dev/acpi/acpidmar.c
1685
iommu_write_8(iommu, DMAR_IVA_REG(iommu), iva);