VS_LAUNCHED
launched = (vmx->vmcs_state[vcpu] & VS_LAUNCHED) != 0;
vmx->vmcs_state[vcpu] |= VS_LAUNCHED;
vmx->vmcs_state[vcpu] &= ~VS_LAUNCHED;
ASSERT0(vmx->vmcs_state[vcpu] & VS_LAUNCHED);