Symbol: vmx_nmi_window_exiting
usr/src/uts/intel/io/vmm/intel/vmx.c
1080
if (!vmx_nmi_window_exiting(vmx, vcpu)) {
usr/src/uts/intel/io/vmm/intel/vmx.c
1411
!vmx_nmi_window_exiting(vmx, vcpu)) {
usr/src/uts/intel/io/vmm/intel/vmx.c
2391
ASSERT(vmx_nmi_window_exiting(vmx, vcpu));