Symbol: IPMMU_CTX_INVALID
drivers/iommu/ipmmu-vmsa.c
1022
memset(mmu->utlb_ctx, IPMMU_CTX_INVALID, mmu->features->num_utlbs);
drivers/iommu/ipmmu-vmsa.c
1138
if (mmu->utlb_ctx[i] == IPMMU_CTX_INVALID)
drivers/iommu/ipmmu-vmsa.c
306
mmu->utlb_ctx[utlb] = IPMMU_CTX_INVALID;
drivers/iommu/ipmmu-vmsa.c
870
mmu->utlb_ctx[utlb] = IPMMU_CTX_INVALID;