vmx_vcpu_put 3145 arch/x86/kvm/vmx.c vmx_vcpu_put(&vmx->vcpu); vmx_vcpu_put 3207 arch/x86/kvm/vmx.c .vcpu_put = vmx_vcpu_put,