Searched refs:VS_LOADED (Results 1 – 2 of 2) sorted by relevance
123 VS_LOADED = 0x2 enumerator
2782 vmx->vmcs_state[vcpu] = VS_LOADED; in vmx_run()3831 if ((vmx->vmcs_state[vcpu] & VS_LOADED) != 0) { in vmx_savectx()3851 if ((vmx->vmcs_state[vcpu] & VS_LOADED) != 0) { in vmx_restorectx()