MMIO_EVT_TAIL_OFFSET
writel(0x00, iommu->mmio_base + MMIO_EVT_TAIL_OFFSET);
tail = readl(iommu->mmio_base + MMIO_EVT_TAIL_OFFSET);