vmx_nmi_window_exiting
if (!vmx_nmi_window_exiting(vmx, vcpu)) {
!vmx_nmi_window_exiting(vmx, vcpu)) {
ASSERT(vmx_nmi_window_exiting(vmx, vcpu));