kvmppc_mmu_hpte_destroy  169 arch/powerpc/include/asm/kvm_book3s.h extern void kvmppc_mmu_hpte_destroy(struct kvm_vcpu *vcpu);
kvmppc_mmu_hpte_destroy  349 arch/powerpc/kvm/book3s_32_mmu_host.c 	kvmppc_mmu_hpte_destroy(vcpu);
kvmppc_mmu_hpte_destroy  383 arch/powerpc/kvm/book3s_64_mmu_host.c 	kvmppc_mmu_hpte_destroy(vcpu);