MMIO_DEV_TABLE_OFFSET
lo = readl(iommu->mmio_base + MMIO_DEV_TABLE_OFFSET);
hi = readl(iommu->mmio_base + MMIO_DEV_TABLE_OFFSET + 4);
memcpy_toio(iommu->mmio_base + MMIO_DEV_TABLE_OFFSET,