Re: [libvirt] [libvirt-tck PATCH] Fix PCI device hotplug tests