--- a/tools/libxl/libxl_pci.c 2020-04-09 09:26:54.000000000 +0200 +++ b/tools/libxl/libxl_pci.c 2020-04-14 23:39:12.830752851 +0200 @@ -1452,7 +1452,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);