MMIO_EXCL_BASE_OFFSET
paddr = readq(iommu->mmio_base + MMIO_EXCL_BASE_OFFSET) & PM_ADDR_MASK;
memcpy_toio(iommu->mmio_base + MMIO_EXCL_BASE_OFFSET,