kvmppc_mmu_destroy  110 arch/powerpc/include/asm/kvm_ppc.h extern void kvmppc_mmu_destroy(struct kvm_vcpu *vcpu);
kvmppc_mmu_destroy  796 arch/powerpc/kvm/powerpc.c 	kvmppc_mmu_destroy(vcpu);