MMIO_GA_HEAD_OFFSET  743 drivers/iommu/amd_iommu.c 	head = readl(iommu->mmio_base + MMIO_GA_HEAD_OFFSET);
MMIO_GA_HEAD_OFFSET  758 drivers/iommu/amd_iommu.c 		writel(head, iommu->mmio_base + MMIO_GA_HEAD_OFFSET);
MMIO_GA_HEAD_OFFSET  795 drivers/iommu/amd_iommu_init.c 	writel(0x00, iommu->mmio_base + MMIO_GA_HEAD_OFFSET);