Searched refs:VS_NONE (Results 1 – 2 of 2) sorted by relevance
121 VS_NONE = 0x0, enumerator
2781 VERIFY(vmx->vmcs_state[vcpu] == VS_NONE && curthread->t_preempt != 0); in vmx_run()2974 VERIFY(vmx->vmcs_state[vcpu] != VS_NONE && curthread->t_preempt != 0); in vmx_run()2975 vmx->vmcs_state[vcpu] = VS_NONE; in vmx_run()