diff options
Diffstat (limited to 'device/dev_pager.c')
| -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 3a37a14d..728be036 100644 --- a/device/dev_pager.c +++ b/device/dev_pager.c @@ -50,6 +50,7 @@ #include <vm/vm_kern.h> #include <vm/vm_user.h> +#include <device/device_pager.server.h> #include <device/device_types.h> #include <device/ds_routines.h> #include <device/dev_hdr.h> |