From d6fdb96dae7352299036bbbe0ec8de71b72193fc Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Fri, 11 Apr 2014 14:51:54 +0200
Subject: libmachdev: fix function declaration

* libmachdev/ds_routines.c: Include mig-generated device_S.h.
(ds_device_intr_register): Fix function declaration.
---
 libmachdev/ds_routines.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/libmachdev/ds_routines.c b/libmachdev/ds_routines.c
index e415cdb3..bbf54880 100644
--- a/libmachdev/ds_routines.c
+++ b/libmachdev/ds_routines.c
@@ -63,6 +63,7 @@
 #include <ddekit/thread.h>
 
 #include "vm_param.h"
+#include "device_S.h"
 #include "device_reply_U.h"
 #include "io_req.h"
 #include "dev_hdr.h"
@@ -126,7 +127,7 @@ ds_xxx_device_set_filter (struct mach_device *device, mach_port_t rec,
 
 io_return_t
 ds_device_intr_register (mach_port_t master_port, int irq,
-		       int id, mach_port_t receive_port)
+			 int flags, int id, mach_port_t receive_port)
 {
   return D_INVALID_OPERATION;
 }
-- 
cgit v1.2.3