--- a/tools/libxl/libxl_pci.c	2018-10-24 15:57:14.384810336 +0200
+++ b/tools/libxl/libxl_pci.c	2018-10-24 15:58:32.759342602 +0200
@@ -1119,7 +1119,7 @@
     char *reset;
     int fd, rc;
 
-    reset = GCSPRINTF("%s/do_flr", SYSFS_PCIBACK_DRIVER);
+    reset = GCSPRINTF("%s/reset", SYSFS_PCIBACK_DRIVER);
     fd = open(reset, O_WRONLY);
     if (fd >= 0) {
         char *buf = GCSPRINTF(PCI_BDF, domain, bus, dev, func);