Index: /trunk/include/VBox/vmm/cpumctx.h
===================================================================
--- /trunk/include/VBox/vmm/cpumctx.h	(revision 65905)
+++ /trunk/include/VBox/vmm/cpumctx.h	(revision 65906)
@@ -431,6 +431,11 @@
     uint16_t                    aoffXState[64];
 
+#if HC_ARCH_BITS == 64
     /** 724 - Size padding. */
     uint32_t                    u32Padding;
+#else
+    /** 716 - Size padding. */
+    uint8_t                     auPadding[12];
+#endif
 
     /** 728 - Hardware virtualization state.   */