Index: /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp
===================================================================
--- /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp	(revision 87326)
+++ /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp	(revision 87327)
@@ -135,5 +135,5 @@
     uint8_t         fIoPerm;
     /** Padding. */
-    uint16_t        abPadding[2];
+    uint8_t         abPadding[2];
 } IOWALKRESULT;
 /** Pointer to an I/O walk result struct. */