MMIO_CMD_HEAD_OFFSET
head = readl(iommu->mmio_base + MMIO_CMD_HEAD_OFFSET);
writel(0x00, iommu->mmio_base + MMIO_CMD_HEAD_OFFSET);
head = readl(iommu->mmio_base + MMIO_CMD_HEAD_OFFSET);
MMIO_CMD_HEAD_OFFSET);