diff --git a/vmm/src/device_manager.rs b/vmm/src/device_manager.rs index 4f89a0d85..e12f57a26 100644 --- a/vmm/src/device_manager.rs +++ b/vmm/src/device_manager.rs @@ -1591,7 +1591,7 @@ impl DeviceManager { for device_cfg in device_list_cfg.iter_mut() { let device_id = self.add_vfio_device(pci, interrupt_manager, &device_fd, device_cfg)?; - if self.iommu_device.is_some() { + if device_cfg.iommu && self.iommu_device.is_some() { iommu_attached_device_ids.push(device_id); } }