diff options
Diffstat (limited to 'linux/dev/glue/misc.c')
| -rw-r--r-- | linux/dev/glue/misc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/linux/dev/glue/misc.c b/linux/dev/glue/misc.c index 77dc31dd..92541c7b 100644 --- a/linux/dev/glue/misc.c +++ b/linux/dev/glue/misc.c @@ -54,6 +54,7 @@ #include <mach/vm_param.h> #include <kern/thread.h> #include <kern/printf.h> +#include <kern/mach_host.server.h> #include <vm/vm_map.h> #include <vm/vm_page.h> #include <device/device_types.h> |