IMCTR             301 drivers/iommu/ipmmu-vmsa.c 	while (ipmmu_ctx_read_root(domain, IMCTR) & IMCTR_FLUSH) {
IMCTR             316 drivers/iommu/ipmmu-vmsa.c 	reg = ipmmu_ctx_read_root(domain, IMCTR);
IMCTR             318 drivers/iommu/ipmmu-vmsa.c 	ipmmu_ctx_write_all(domain, IMCTR, reg);
IMCTR             462 drivers/iommu/ipmmu-vmsa.c 	ipmmu_ctx_write_all(domain, IMCTR,
IMCTR             527 drivers/iommu/ipmmu-vmsa.c 	ipmmu_ctx_write_all(domain, IMCTR, IMCTR_FLUSH);
IMCTR             988 drivers/iommu/ipmmu-vmsa.c 		ipmmu_write(mmu, i * IM_CTX_SIZE + IMCTR, 0);