VS_NONE
VERIFY(vmx->vmcs_state[vcpu] == VS_NONE && curthread->t_preempt != 0);
VERIFY(vmx->vmcs_state[vcpu] != VS_NONE && curthread->t_preempt != 0);
vmx->vmcs_state[vcpu] = VS_NONE;