kvm_mmu_destroy  1257 arch/x86/include/asm/kvm_host.h void kvm_mmu_destroy(struct kvm_vcpu *vcpu);
kvm_mmu_destroy  9514 arch/x86/kvm/x86.c 	kvm_mmu_destroy(vcpu);
kvm_mmu_destroy  9530 arch/x86/kvm/x86.c 	kvm_mmu_destroy(vcpu);