diff options
| author | Guillem Jover <guillem@hadrons.org> | 2011-08-30 03:09:32 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-30 23:33:42 +0200 |
| commit | 236c43adabc10512c2a31608b43c8701663e3100 (patch) | |
| tree | 92a388725d28707aecaf6ba3a225978ab709f87c /device | |
| parent | fe350c42d5dcc4d46324dd28862a2bd7a0419498 (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.c | 1 |
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 */ |