diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-11 14:51:54 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-11 15:18:52 +0200 |
| commit | d6fdb96dae7352299036bbbe0ec8de71b72193fc (patch) | |
| tree | 13b24917777bedb72fae1e1d71c6c61886466711 | |
| parent | d426acfa7e141ce1546b2d09cd9dd098e5e6c5e7 (diff) | |
libmachdev: fix function declaration
* libmachdev/ds_routines.c: Include mig-generated device_S.h.
(ds_device_intr_register): Fix function declaration.
| -rw-r--r-- | libmachdev/ds_routines.c | 3 |
1 files changed, 2 insertions, 1 deletions
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; } |