DMAR_FEUADDR_REG
iommu_write_4(iommu, DMAR_FEUADDR_REG,
iommu_write_4(iommu, DMAR_FEUADDR_REG, iommu->feaddr >> 32);