Changeset 80556 in vbox for trunk/src/VBox/VMM/VMMAll

Timestamp:

Sep 3, 2019 5:37:47 AM (6 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

133070

Message:

VMM/IEM: Nested VMX: bugref:9180 Nits.

File:

• trunk/src/VBox/VMM/VMMAll/IEMAllCImplVmxInstr.cpp.h (modified) (5 diffs)

trunk/src/VBox/VMM/VMMAll/IEMAllCImplVmxInstr.cpp.h

@@ -2484 +2484 @@
     /*
      * 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 +2490 @@
         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 +2499 @@
              * 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 +2513 @@
                 iemVmxVmcsSetIdtVectoringInfo(pVCpu, uIdtVectoringInfo);
                 iemVmxVmcsSetIdtVectoringErrCode(pVCpu, uErrCode);
+                LogFlow(("vmexit: idt_info=%#RX32 idt_err_code=%#RX32\n", uIdtVectoringInfo, uErrCode));
             }
         }
@@ -2530 +2531 @@
     }
 
-    /* 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));