Index: /trunk/src/VBox/VMM/include/SELMInternal.h
===================================================================
--- /trunk/src/VBox/VMM/include/SELMInternal.h	(revision 55893)
+++ /trunk/src/VBox/VMM/include/SELMInternal.h	(revision 55894)
@@ -186,5 +186,5 @@
     uint16_t                offGuestIoBitmap;
     /** @} */
-    uint16_t                padding4;
+    uint16_t                padding4[3];
 
     /** SELMR3UpdateFromCPUM() profiling. */