Symbol: VS_NONE
usr/src/uts/intel/io/vmm/intel/vmx.c
2774
VERIFY(vmx->vmcs_state[vcpu] == VS_NONE && curthread->t_preempt != 0);
usr/src/uts/intel/io/vmm/intel/vmx.c
2967
VERIFY(vmx->vmcs_state[vcpu] != VS_NONE && curthread->t_preempt != 0);
usr/src/uts/intel/io/vmm/intel/vmx.c
2968
vmx->vmcs_state[vcpu] = VS_NONE;