Symbol: DMAR_RTADDR_REG
sys/dev/acpi/acpidmar.c
1131
iommu_write_8(iommu, DMAR_RTADDR_REG, paddr);
sys/dev/acpi/acpidmar.c
3781
iommu->id, iommu->flags, iommu_read_8(iommu, DMAR_RTADDR_REG),