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);