summaryrefslogtreecommitdiff
path: root/device
diff options
context:
space:
mode:
authorGuillem Jover <guillem@hadrons.org>2011-08-30 03:09:32 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-30 23:33:42 +0200
commit236c43adabc10512c2a31608b43c8701663e3100 (patch)
tree92a388725d28707aecaf6ba3a225978ab709f87c /device
parentfe350c42d5dcc4d46324dd28862a2bd7a0419498 (diff)
Add missing headers
* device/dev_pager.c: Include <device/memory_object_reply.user.h>. * linux/pcmcia-cs/glue/wireless_glue.h: Include <kern/debug.h>.
Diffstat (limited to 'device')
-rw-r--r--device/dev_pager.c1
1 files changed, 1 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 */