Symbol: VS_LOADED
usr/src/uts/intel/io/vmm/intel/vmx.c
2775
vmx->vmcs_state[vcpu] = VS_LOADED;
usr/src/uts/intel/io/vmm/intel/vmx.c
3824
if ((vmx->vmcs_state[vcpu] & VS_LOADED) != 0) {
usr/src/uts/intel/io/vmm/intel/vmx.c
3844
if ((vmx->vmcs_state[vcpu] & VS_LOADED) != 0) {