Index: /trunk/src/VBox/Devices/Bus/DevIommuIntel.cpp
===================================================================
--- /trunk/src/VBox/Devices/Bus/DevIommuIntel.cpp	(revision 88494)
+++ /trunk/src/VBox/Devices/Bus/DevIommuIntel.cpp	(revision 88495)
@@ -213,5 +213,5 @@
  * Read-write masks for DMAR registers (group 0).
  */
-static const uint32_t g_au32RwMasks0[] =
+static uint32_t const g_au32RwMasks0[] =
 {
     /* Offset  Register                  Low                                        High */
@@ -303,5 +303,5 @@
  * Read-only Status, Write-1-to-clear masks for DMAR registers (group 0).
  */
-static const uint32_t g_au32Rw1cMasks0[] =
+static uint32_t const g_au32Rw1cMasks0[] =
 {
     /* Offset  Register                  Low                        High */
@@ -393,5 +393,5 @@
  * Read-write masks for DMAR registers (group 1).
  */
-static const uint32_t g_au32RwMasks1[] =
+static uint32_t const g_au32RwMasks1[] =
 {
     /* Offset  Register                  Low                                        High */
@@ -417,5 +417,5 @@
  * Read-only Status, Write-1-to-clear masks for DMAR registers (group 1).
  */
-static const uint32_t g_au32Rw1cMasks1[] =
+static uint32_t const g_au32Rw1cMasks1[] =
 {
     /* Offset  Register                  Low                                        High */
@@ -438,8 +438,8 @@
 
 /** Array of RW masks for each register group. */
-static const uint8_t *g_apbRwMasks[]   = { (uint8_t *)&g_au32RwMasks0[0], (uint8_t *)&g_au32RwMasks1[0] };
+static uint8_t const *g_apbRwMasks[]   = { (uint8_t *)&g_au32RwMasks0[0], (uint8_t *)&g_au32RwMasks1[0] };
 
 /** Array of RW1C masks for each register group. */
-static const uint8_t *g_apbRw1cMasks[] = { (uint8_t *)&g_au32Rw1cMasks0[0], (uint8_t *)&g_au32Rw1cMasks1[0] };
+static uint8_t const *g_apbRw1cMasks[] = { (uint8_t *)&g_au32Rw1cMasks0[0], (uint8_t *)&g_au32Rw1cMasks1[0] };
 
 /* Masks arrays must be identical in size (even bounds checking code assumes this). */
@@ -1171,5 +1171,5 @@
  * The device registration structure.
  */
-const PDMDEVREG g_DeviceIommuIntel =
+PDMDEVREG const g_DeviceIommuIntel =
 {
     /* .u32Version = */             PDM_DEVREG_VERSION,