destroy_kvm_mmu  1635 arch/x86/kvm/mmu.c 	destroy_kvm_mmu(vcpu);
destroy_kvm_mmu  2049 arch/x86/kvm/mmu.c 	destroy_kvm_mmu(vcpu);