summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoan Lledó <jlledom@member.fsf.org>2019-11-03 21:36:48 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2019-11-03 21:38:18 +0100
commitec057117c42c18772b207851b4b13d8d383685e3 (patch)
tree87691bed7553578ac29000c70bee931746f9e36e
parentb160d6f3b3cdcd6a293c33cd89dcc46ab54c3264 (diff)
pci-arbiter: Cleanup at shutdown.
* pci-arbiter/startup-ops.c: * S_startup_dosync: Call pci_system_cleanup().
-rw-r--r--pci-arbiter/startup-ops.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/pci-arbiter/startup-ops.c b/pci-arbiter/startup-ops.c
index f3506c422..eb387fd94 100644
--- a/pci-arbiter/startup-ops.c
+++ b/pci-arbiter/startup-ops.c
@@ -20,6 +20,7 @@
#include <startup_notify_S.h>
+#include <pciaccess.h>
#include <hurd/netfs.h>
#include "startup.h"
@@ -34,6 +35,9 @@ S_startup_dosync (mach_port_t handle)
if (!inpi)
return EOPNOTSUPP;
+ // Free all libpciaccess resources
+ pci_system_cleanup ();
+
ports_port_deref (inpi);
return netfs_shutdown (FSYS_GOAWAY_FORCE);