Index: /trunk/include/VBox/vmm/dbgfcorefmt.h
===================================================================
--- /trunk/include/VBox/vmm/dbgfcorefmt.h	(revision 56517)
+++ /trunk/include/VBox/vmm/dbgfcorefmt.h	(revision 56518)
@@ -59,5 +59,6 @@
     uint32_t        uAttr;
     uint16_t        uSel;
-    uint16_t        uReserved;
+    uint16_t        uReserved0;
+    uint32_t        uReserved1;
 } VBOXX86SEL;
 AssertCompileSizeAlignment(DBGFCORESEL, 8);