Symbol: vmx_int_window_exiting
usr/src/uts/intel/io/vmm/intel/vmx.c
1056
if (!vmx_int_window_exiting(vmx, vcpu)) {
usr/src/uts/intel/io/vmm/intel/vmx.c
2352
ASSERT(vmx_int_window_exiting(vmx, vcpu));