diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-10 18:48:14 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-12 09:52:09 +0200 |
| commit | 41da689280091dcabd153b77627818b0a89645bf (patch) | |
| tree | faadcb61de079b61dea81d2f4e8871e31048a70e /boot/boot.c | |
| parent | d49d0ac8d97e30a9b3a9140af6e9f402d39654c2 (diff) | |
boot: remove the ourdevice hack
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.
* boot/Makefile: Remove the ourdevice hack.
* boot/boot.c: Adjust the include accordingly.
Diffstat (limited to 'boot/boot.c')
| -rw-r--r-- | boot/boot.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/boot.c b/boot/boot.c index 0dbe1c20..ed290148 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -42,7 +42,7 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */ #include <version.h> #include "notify_S.h" -#include "ourdevice_S.h" +#include "device_S.h" #include "io_S.h" #include "device_reply_U.h" #include "io_reply_U.h" |