kvmppc_mmu_itlb_index  113 arch/powerpc/include/asm/kvm_ppc.h extern int kvmppc_mmu_itlb_index(struct kvm_vcpu *vcpu, gva_t eaddr);
kvmppc_mmu_itlb_index 1302 arch/powerpc/kvm/booke.c 		gtlb_index = kvmppc_mmu_itlb_index(vcpu, eaddr);
kvmppc_mmu_itlb_index 1987 arch/powerpc/kvm/booke.c 		gtlb_index = kvmppc_mmu_itlb_index(vcpu, eaddr);