vsid_pool         115 arch/powerpc/include/asm/kvm_book3s.h 	u32 vsid_pool[VSID_POOL_SIZE];
vsid_pool         293 arch/powerpc/kvm/book3s_32_mmu_host.c 	map->host_vsid = vcpu_book3s->vsid_pool[vcpu_book3s->vsid_next];
vsid_pool         375 arch/powerpc/kvm/book3s_32_mmu_host.c 			vcpu3s->vsid_pool[(i * 16) + j] = CTX_TO_VSID(err, j);