[PATCH gnumach 06/16] Add missing headers

[Guillem Jover]

* device/dev_pager.c: Include <device/memory_object_reply.user.h>.
* linux/pcmcia-cs/glue/wireless_glue.h: Include <kern/debug.h>.
---
 device/dev_pager.c                   |    1 +
 linux/pcmcia-cs/glue/wireless_glue.h |    2 ++
 2 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/device/dev_pager.c b/device/dev_pager.c
index 224be85..447781e 100644
--- a/device/dev_pager.c
+++ b/device/dev_pager.c
@@ -55,6 +55,7 @@
 #include <device/ds_routines.h>
 #include <device/dev_hdr.h>
 #include <device/io_req.h>
+#include <device/memory_object_reply.user.h>
 
 extern vm_offset_t     block_io_mmap();        /* dummy routine to allow
                                                   mmap for block devices */
diff --git a/linux/pcmcia-cs/glue/wireless_glue.h 
b/linux/pcmcia-cs/glue/wireless_glue.h
index dc354dd..61006b4 100644
--- a/linux/pcmcia-cs/glue/wireless_glue.h
+++ b/linux/pcmcia-cs/glue/wireless_glue.h
@@ -48,6 +48,8 @@
 #endif
 
 
+#include <kern/debug.h>
+
 /*
  * We need some `schedule_task' replacement.  This is defined in
  * kernel/context.c in the Linux kernel.
-- 
1.7.5.4