Symbol: vmx_restore_nmi_blocking
usr/src/uts/intel/io/vmm/intel/vmx.c
2432
vmx_restore_nmi_blocking(vmx, vcpu);
usr/src/uts/intel/io/vmm/intel/vmx.c
2523
vmx_restore_nmi_blocking(vmx, vcpu);