Index: /trunk/include/VBox/pci.h
===================================================================
--- /trunk/include/VBox/pci.h	(revision 41852)
+++ /trunk/include/VBox/pci.h	(revision 41853)
@@ -818,11 +818,13 @@
 }
 
-DECLINLINE(uint32_t) PCIDevGetRegionReg(int iRegion)
-{
-    return (iRegion == VBOX_PCI_ROM_SLOT) ?
-            VBOX_PCI_ROM_ADDRESS : (VBOX_PCI_BASE_ADDRESS_0 + iRegion * 4);
-}
-
-/**
+/**
+ * Please document me. I don't seem to be getting as much as calculating
+ * the address of some PCI region.
+ */
+DECLINLINE(uint32_t) PCIDevGetRegionReg(uint32_t iRegion)
+{
+    return iRegion == VBOX_PCI_ROM_SLOT
+         ? VBOX_PCI_ROM_ADDRESS : (VBOX_PCI_BASE_ADDRESS_0 + iRegion * 4);
+}
  * Sets the sub-system vendor id config register.
  *