Index: /trunk/src/VBox/VMM/VMMAll/IEMAllCImplVmxInstr.cpp.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/IEMAllCImplVmxInstr.cpp.h	(revision 80555)
+++ /trunk/src/VBox/VMM/VMMAll/IEMAllCImplVmxInstr.cpp.h	(revision 80556)
@@ -2484,5 +2484,5 @@
     /*
      * Update the IDT-vectoring information fields if the VM-exit is triggered during delivery of an event.
-     * See Intel spec. 27.2.3 "Information for VM Exits During Event Delivery".
+     * See Intel spec. 27.2.4 "Information for VM Exits During Event Delivery".
      */
     {
@@ -2490,5 +2490,5 @@
         uint32_t   fFlags;
         uint32_t   uErrCode;
-        bool const fInEventDelivery = IEMGetCurrentXcpt(pVCpu, &uVector, &fFlags,  &uErrCode, NULL /* uCr2 */);
+        bool const fInEventDelivery = IEMGetCurrentXcpt(pVCpu, &uVector, &fFlags, &uErrCode, NULL /* puCr2 */);
         if (fInEventDelivery)
         {
@@ -2499,5 +2499,5 @@
              * original event information into the IDT-vectoring information fields.
              *
-             * See Intel spec. 27.2.4 Information for VM Exits During Event Delivery
+             * See Intel spec. 27.2.4 "Information for VM Exits During Event Delivery".
              */
             if (   uExitReason != VMX_EXIT_TRIPLE_FAULT
@@ -2513,4 +2513,5 @@
                 iemVmxVmcsSetIdtVectoringInfo(pVCpu, uIdtVectoringInfo);
                 iemVmxVmcsSetIdtVectoringErrCode(pVCpu, uErrCode);
+                LogFlow(("vmexit: idt_info=%#RX32 idt_err_code=%#RX32\n", uIdtVectoringInfo, uErrCode));
             }
         }
@@ -2530,5 +2531,5 @@
     }
 
-    /* Paranoia. */
+    /* For exception or NMI VM-exits the VM-exit interruption info. field must be valid. */
     Assert(uExitReason != VMX_EXIT_XCPT_OR_NMI || VMX_EXIT_INT_INFO_IS_VALID(pVmcs->u32RoExitIntInfo));