kvmppc_mmu_dtlb_index  112 arch/powerpc/include/asm/kvm_ppc.h extern int kvmppc_mmu_dtlb_index(struct kvm_vcpu *vcpu, gva_t eaddr);
kvmppc_mmu_dtlb_index 1253 arch/powerpc/kvm/booke.c 		gtlb_index = kvmppc_mmu_dtlb_index(vcpu, eaddr);
kvmppc_mmu_dtlb_index 1990 arch/powerpc/kvm/booke.c 		gtlb_index = kvmppc_mmu_dtlb_index(vcpu, eaddr);