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);