diff --git a/src/util/virhostdev.c b/src/util/virhostdev.c index e6b9c1ba9332860730d3ef3386c5a432322e7a3c..99e17f4b379a1b4002ff94581aef66080ed3c184 100644 --- a/src/util/virhostdev.c +++ b/src/util/virhostdev.c @@ -619,6 +619,12 @@ virHostdevPreparePCIDevices(virHostdevManagerPtr mgr, virPCIDeviceGetName(pci)); if (virPCIDeviceListAddCopy(mgr->inactivePCIHostdevs, pci) < 0) goto reattachdevs; + } else { + virReportError(VIR_ERR_OPERATION_INVALID, + _("Unmanaged PCI device %s must be manually " + "detached from the host"), + virPCIDeviceGetName(pci)); + goto reattachdevs; } } }