Index: /trunk/include/VBox/vmm/cpumctx.h
===================================================================
--- /trunk/include/VBox/vmm/cpumctx.h	(revision 74832)
+++ /trunk/include/VBox/vmm/cpumctx.h	(revision 74833)
@@ -671,6 +671,10 @@
         /** 0x3f8 - A subset of guest force flags that are saved while running the
          *  nested-guest. */
+#ifdef VMCPU_WITH_64_BIT_FFS
+        uint64_t                fLocalForcedActions;
+#else
         uint32_t                fLocalForcedActions;
-        uint8_t                 abPadding[4];
+        uint32_t                fPadding;
+#endif
     } hwvirt;
     /** @} */