Index: /trunk/include/VBox/pci.h
===================================================================
--- /trunk/include/VBox/pci.h	(revision 475)
+++ /trunk/include/VBox/pci.h	(revision 476)
@@ -96,5 +96,5 @@
 {
     /** PCI config space. */
-    uint8_t             config[256];
+    uint8_t                 config[256];
 
     /** Read only data.
@@ -102,9 +102,10 @@
      */
     /** PCI device number on the pci bus. */
-    int                 devfn;
+    int32_t                 devfn;
+    uint32_t                Alignment0; /**< Alignment. */
     /** Device name. */
-    const char         *name;
+    R3PTRTYPE(const char *) name;
     /** Pointer to the device instance which registered the device. */
-    PPDMDEVINSHC        pDevIns;
+    PPDMDEVINSR3            pDevIns;
     /**  @} */
 
@@ -113,7 +114,7 @@
     {
 #ifdef __PCIDEVICEINT_DECLARED__
-        PCIDEVICEINT    s;
+        PCIDEVICEINT        s;
 #endif
-        char            padding[196];
+        char                padding[224];
     } Int;
 } PCIDEVICE;