Index: /trunk/src/VBox/Devices/Graphics/DevVGA.h
===================================================================
--- /trunk/src/VBox/Devices/Graphics/DevVGA.h	(revision 33854)
+++ /trunk/src/VBox/Devices/Graphics/DevVGA.h	(revision 33855)
@@ -400,4 +400,5 @@
     /** Retrace emulation state */
     bool                        fRealRetrace;
+    bool                        Padding5[HC_ARCH_BITS == 64 ? 7 : 3];
     vga_retrace_s               retrace_state;
 
@@ -409,5 +410,5 @@
     /** The VBE BIOS current memory address. */
     uint16_t                    u16VBEExtraAddress;
-    uint16_t                    Padding5[2];
+    uint16_t                    Padding6[2];
 #endif
     /** Current logo data offset. */
@@ -439,5 +440,5 @@
     /** Clear screen flag. */
     uint8_t                     fLogoClearScreen;
-    uint8_t                     Padding6[7];
+    uint8_t                     Padding7[7];
     /** Palette data. */
     uint32_t                    au32LogoPalette[256];
@@ -453,10 +454,10 @@
     RTIOPORT                    IOPortBase;
 #ifdef VBOX_WITH_WDDM
-    uint8_t                     Padding7[2];
+    uint8_t                     Padding8[2];
     /* specifies guest driver caps, i.e. whether it can handle IRQs from the adapter,
      * the way it can handle async HGSMI command completion, etc. */
     uint32_t                    fGuestCaps;
 #else
-    uint8_t                     Padding7[6];
+    uint8_t                     Padding8[6];
 #endif
 #endif /* VBOX_WITH_HGSMI */