diff options
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 */ |