Searched refs:VS_LAUNCHED (Results 1 – 2 of 2) sorted by relevance
122 VS_LAUNCHED = 0x1, enumerator
2882 launched = (vmx->vmcs_state[vcpu] & VS_LAUNCHED) != 0; in vmx_run()2932 vmx->vmcs_state[vcpu] |= VS_LAUNCHED; in vmx_run()3838 vmx->vmcs_state[vcpu] &= ~VS_LAUNCHED; in vmx_savectx()3849 ASSERT0(vmx->vmcs_state[vcpu] & VS_LAUNCHED); in vmx_restorectx()