Changeset 80387 in vbox for trunk/include

Timestamp:

Aug 22, 2019 2:44:42 PM (5 years ago)

Author:

vboxsync

Message:

VMM: Nested VMX: bugref:9180 Renamed u64GuestPendingDbgXcpt to u64GuestPendingDbgXcpts to better match the spec.

File:

• trunk/include/VBox/vmm/hm_vmx.h (modified) (1 diff)

trunk/include/VBox/vmm/hm_vmx.h

@@ -3879 +3879 @@
     /** 0x740 - Guest RFLAGS. */
     RTUINT64U       u64GuestRFlags;
-    /** 0x748 - Guest pending debug exception. */
-    RTUINT64U       u64GuestPendingDbgXcpt;
+    /** 0x748 - Guest pending debug exceptions. */
+    RTUINT64U       u64GuestPendingDbgXcpts;
     /** 0x750 - Guest SYSENTER ESP. */
     RTUINT64U       u64GuestSysenterEsp;