utlb              327 drivers/iommu/ipmmu-vmsa.c 			      unsigned int utlb)
utlb              337 drivers/iommu/ipmmu-vmsa.c 	ipmmu_write(mmu, IMUASID(utlb), 0);
utlb              339 drivers/iommu/ipmmu-vmsa.c 	ipmmu_write(mmu, IMUCTR(utlb),
utlb              342 drivers/iommu/ipmmu-vmsa.c 	mmu->utlb_ctx[utlb] = domain->context_id;
utlb              349 drivers/iommu/ipmmu-vmsa.c 			       unsigned int utlb)
utlb              353 drivers/iommu/ipmmu-vmsa.c 	ipmmu_write(mmu, IMUCTR(utlb), 0);
utlb              354 drivers/iommu/ipmmu-vmsa.c 	mmu->utlb_ctx[utlb] = IPMMU_CTX_INVALID;