diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-11 14:43:36 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-11 15:18:45 +0200 |
| commit | d426acfa7e141ce1546b2d09cd9dd098e5e6c5e7 (patch) | |
| tree | dd0dd44f9348d827348624636fd78796d33e46de /libmachdev/Makefile | |
| parent | bbf7f5b44924e0889e961d02a0cf7da0c719a63a (diff) | |
libmachdev: fix receiver lookups
Previously, the device definitions were filtered using sed to replace
the device_t type with mach_port_send_t to make the device argument of
device_open polymorphic. Rather than doing that, which makes it
impossible to use translation functions, the definition of device_open
has been amended.
* libmachdev/Makefile: Remove ourdevice hack that changes
device_t to mach_port_send_t.
* libmachdev/device.defs (device_open): Make the device parameter
polymorphic like it was done in gnumach.
* libmachdev/ds_routines.c (port_bucket): Drop static qualifier so
that it can be used in the intrans function.
(dev_class): Likewise.
(ds_*): Fix all device_t receiver lookups.
* libmachdev/mig-decls.h: New file.
* libmachdev/mig-mutate.h: Add mutators.
Diffstat (limited to 'libmachdev/Makefile')
| -rw-r--r-- | libmachdev/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/libmachdev/Makefile b/libmachdev/Makefile index e0064610..a47bf325 100644 --- a/libmachdev/Makefile +++ b/libmachdev/Makefile @@ -20,7 +20,7 @@ makemode := library libname = libmachdev SRCS = deviceUser.c machUser.c net.c ds_routines.c queue.c trivfs_server.c \ - device_replyUser.c ourdeviceServer.c notifyServer.c misc.c block.c + device_replyUser.c deviceServer.c notifyServer.c misc.c block.c LCLHDRS = dev_hdr.h device_emul.h ds_routines.h vm_param.h \ util.h queue.h io_req.h if_ether.h machdev.h linux-errno.h \ errno-base.h @@ -32,8 +32,5 @@ MIGSFLAGS = -imacros $(srcdir)/mig-mutate.h include ../Makeconf -ourdevice.defs: device.defs - $(CPP) $(CPPFLAGS) -x c $< | sed -e '/out[ ]*device[ ]*:[ ]*device_t/s/device_t/mach_port_send_t/' > $@ - $(libname).so.$(hurd-version): echo "INPUT ( $(libname).a )" > $@ |