Symbol: VS_LAUNCHED
usr/src/uts/intel/io/vmm/intel/vmx.c
2875
launched = (vmx->vmcs_state[vcpu] & VS_LAUNCHED) != 0;
usr/src/uts/intel/io/vmm/intel/vmx.c
2925
vmx->vmcs_state[vcpu] |= VS_LAUNCHED;
usr/src/uts/intel/io/vmm/intel/vmx.c
3831
vmx->vmcs_state[vcpu] &= ~VS_LAUNCHED;
usr/src/uts/intel/io/vmm/intel/vmx.c
3842
ASSERT0(vmx->vmcs_state[vcpu] & VS_LAUNCHED);