VSID_POOL_SIZE    115 arch/powerpc/include/asm/kvm_book3s.h 	u32 vsid_pool[VSID_POOL_SIZE];
VSID_POOL_SIZE    286 arch/powerpc/kvm/book3s_32_mmu_host.c 	if (vcpu_book3s->vsid_next >= VSID_POOL_SIZE) {