Symbol: DMAR_FEADDR_REG
sys/dev/acpi/acpidmar.c
3513
iommu_write_4(iommu, DMAR_FEADDR_REG, iommu->feaddr);
sys/dev/acpi/acpidmar.c
3636
iommu_write_4(iommu, DMAR_FEADDR_REG, iommu->feaddr);