IPMMU_CTX_INVALID  354 drivers/iommu/ipmmu-vmsa.c 	mmu->utlb_ctx[utlb] = IPMMU_CTX_INVALID;
IPMMU_CTX_INVALID 1063 drivers/iommu/ipmmu-vmsa.c 	memset(mmu->utlb_ctx, IPMMU_CTX_INVALID, mmu->features->num_utlbs);
IPMMU_CTX_INVALID 1196 drivers/iommu/ipmmu-vmsa.c 		if (mmu->utlb_ctx[i] == IPMMU_CTX_INVALID)