Symbol: VMCS_EXIT_REASON
usr/src/cmd/bhyvectl/bhyvectl.c
2090
error = vm_get_vmcs_field(vcpu, VMCS_EXIT_REASON,
usr/src/uts/intel/io/vmm/intel/vmx.c
2936
(vmcs_read(VMCS_EXIT_REASON) & BASIC_EXIT_REASON_MASK);