Symbol: CTX_TO_VSID
arch/powerpc/kvm/book3s_32_mmu_host.c
371
vcpu3s->vsid_pool[(i * 16) + j] = CTX_TO_VSID(err, j);
arch/powerpc/mm/book3s32/mmu_context.c
72
mm->context.sr0 = CTX_TO_VSID(mm->context.id, 0);