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,