From a8a9ad7f6a298ac3f669fc18bb17005e48524c01 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Wed, 10 Aug 2022 22:17:53 +0200
Subject: Fix including notify_S.h and running ports_notify_server_routine

---
 libmachdev/ds_routines.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'libmachdev/ds_routines.c')

diff --git a/libmachdev/ds_routines.c b/libmachdev/ds_routines.c
index 0f8db7ed..c5a7cd00 100644
--- a/libmachdev/ds_routines.c
+++ b/libmachdev/ds_routines.c
@@ -68,7 +68,7 @@
 #include <device/device.h> /* fallback to kernel device */
 
 #include "device_S.h"
-#include "notify_S.h"
+#include "libports/notify_S.h"
 #include "machdev-dev_hdr.h"
 #include "machdev.h"
 #include "mach_device.h"
@@ -333,7 +333,7 @@ machdev_demuxer (mach_msg_header_t *inp, mach_msg_header_t *outp)
 {
   mig_routine_t routine;
   if ((routine = device_server_routine (inp)) ||
-      (routine = notify_server_routine (inp)))
+      (routine = ports_notify_server_routine (inp)))
     {
       (*routine) (inp, outp);
       return TRUE;
-- 
cgit v1.2.3