diff --git a/vmm/src/device_manager.rs b/vmm/src/device_manager.rs
index 93a68ca50..790a28251 100644
--- a/vmm/src/device_manager.rs
+++ b/vmm/src/device_manager.rs
@@ -82,6 +82,9 @@ const PMEM_DEVICE_NAME_PREFIX: &str = "pmem";
 const RNG_DEVICE_NAME: &str = "rng";
 const VSOCK_DEVICE_NAME_PREFIX: &str = "vsock";
 
+#[cfg(feature = "pci_support")]
+const IOMMU_DEVICE_NAME: &str = "iommu";
+
 /// Errors associated with device manager
 #[derive(Debug)]
 pub enum DeviceManagerError {
@@ -839,7 +842,7 @@ impl DeviceManager {
                     &mut pci_bus,
                     &None,
                     &interrupt_manager,
-                    None,
+                    Some(String::from(IOMMU_DEVICE_NAME)),
                 )?;
             }