Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 79652)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 79653)
@@ -13721,4 +13721,6 @@
              && hmR0VmxIsPinCtlsSet(pVCpu, pVmxTransient, VMX_PIN_CTLS_VIRT_NMI))
     {
+        Assert(!VMX_IDT_VECTORING_INFO_IS_VALID(pVmxTransient->uIdtVectoringInfo));
+
         /*
          * Execution of IRET caused this fault when NMI blocking was in effect (i.e we're in the guest NMI handler).
@@ -13727,6 +13729,5 @@
          */
         CPUMSetGuestNmiBlocking(pVCpu, true);
-        Log4Func(("Set NMI blocking. fValid=%RTbool uExitReason=%u\n", VMX_EXIT_INT_INFO_IS_VALID(pVmxTransient->uExitIntInfo),
-                  pVmxTransient->uExitReason));
+        Log4Func(("Set NMI blocking. uExitReason=%u\n", pVmxTransient->uExitReason));
     }