Symbol: kvmppc_mmu_hpte_destroy
arch/powerpc/include/asm/kvm_book3s.h
169
extern void kvmppc_mmu_hpte_destroy(struct kvm_vcpu *vcpu);
arch/powerpc/kvm/book3s_32_mmu_host.c
348
kvmppc_mmu_hpte_destroy(vcpu);
arch/powerpc/kvm/book3s_64_mmu_host.c
385
kvmppc_mmu_hpte_destroy(vcpu);