Index: /trunk/src/VBox/VMM/include/VMMInternal.h
===================================================================
--- /trunk/src/VBox/VMM/include/VMMInternal.h	(revision 47466)
+++ /trunk/src/VBox/VMM/include/VMMInternal.h	(revision 47467)
@@ -423,6 +423,7 @@
 #if HC_ARCH_BITS == 32
     uint32_t                    u32Padding;
-#endif
+#else
     uint64_t                    u64Padding;
+#endif
     /** @} */
 
Index: /trunk/src/VBox/VMM/include/VMMInternal.mac
===================================================================
--- /trunk/src/VBox/VMM/include/VMMInternal.mac	(revision 47466)
+++ /trunk/src/VBox/VMM/include/VMMInternal.mac	(revision 47467)
@@ -111,6 +111,7 @@
 %if HC_ARCH_BITS == 32
         .u32Padding             resd 1
+%else
+        .u64Padding             resq 1
 %endif
-        .u64Padding             resq 1
 
         .fInRendezvous          resb 1