Index: /trunk/src/VBox/VMM/VMMR3/PDMDevHlp.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/PDMDevHlp.cpp	(revision 88564)
+++ /trunk/src/VBox/VMM/VMMR3/PDMDevHlp.cpp	(revision 88565)
@@ -1504,5 +1504,5 @@
                             rc);
 
-#ifdef VBOX_WITH_IOMMU_AMD
+#if defined(VBOX_WITH_IOMMU_AMD) || defined(VBOX_WITH_IOMMU_INTEL)
         /** @todo IOMMU: Restrict this to the AMD flavor of IOMMU only at runtime. */
         PPDMIOMMUR3 pIommu       = &pVM->pdm.s.aIommus[0];
@@ -1514,4 +1514,7 @@
              * ensure it's not the BDF reserved for the southbridge I/O APIC expected
              * by linux guests when using an AMD IOMMU, see @bugref{9654#c23}.
+             *
+             * In the Intel IOMMU case, we similarly re-use the same I/O APIC address
+             * to reserve a PCI slot, see @bugref{9967#c13}.
              */
             uint16_t const uDevFn    = VBOX_PCI_DEVFN_MAKE(uPciDevNo, uPciFunNo);