Searched refs:vmcs_state (Results 1 – 2 of 2) sorted by relevance
135 vmcs_state_t vmcs_state[VM_MAXCPU]; member
2781 VERIFY(vmx->vmcs_state[vcpu] == VS_NONE && curthread->t_preempt != 0); in vmx_run()2782 vmx->vmcs_state[vcpu] = VS_LOADED; in vmx_run()2882 launched = (vmx->vmcs_state[vcpu] & VS_LAUNCHED) != 0; in vmx_run()2932 vmx->vmcs_state[vcpu] |= VS_LAUNCHED; 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()3831 if ((vmx->vmcs_state[vcpu] & VS_LOADED) != 0) { in vmx_savectx()3838 vmx->vmcs_state[vcpu] &= ~VS_LAUNCHED; in vmx_savectx()3849 ASSERT0(vmx->vmcs_state[vcpu] & VS_LAUNCHED); in vmx_restorectx()3851 if ((vmx->vmcs_state[vcpu] & VS_LOADED) != 0) { in vmx_restorectx()