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