summaryrefslogtreecommitdiff
path: root/device
diff options
context:
space:
mode:
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 */