IMCTR_FLUSH       301 drivers/iommu/ipmmu-vmsa.c 	while (ipmmu_ctx_read_root(domain, IMCTR) & IMCTR_FLUSH) {
IMCTR_FLUSH       317 drivers/iommu/ipmmu-vmsa.c 	reg |= IMCTR_FLUSH;
IMCTR_FLUSH       463 drivers/iommu/ipmmu-vmsa.c 			    IMCTR_INTEN | IMCTR_FLUSH | IMCTR_MMUEN);
IMCTR_FLUSH       527 drivers/iommu/ipmmu-vmsa.c 	ipmmu_ctx_write_all(domain, IMCTR, IMCTR_FLUSH);