get_tlb_tlbsel    328 arch/powerpc/kvm/e500_mmu.c 	tlbsel = get_tlb_tlbsel(vcpu);
get_tlb_tlbsel    398 arch/powerpc/kvm/e500_mmu.c 	tlbsel = get_tlb_tlbsel(vcpu);