diff options
Diffstat (limited to 'pfinet/glue-include/linux')
| -rw-r--r-- | pfinet/glue-include/linux/mm.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pfinet/glue-include/linux/mm.h b/pfinet/glue-include/linux/mm.h index 546776e8..d0fa9eab 100644 --- a/pfinet/glue-include/linux/mm.h +++ b/pfinet/glue-include/linux/mm.h @@ -18,6 +18,7 @@ #include <mach.h> #include <sys/mman.h> #include <stdint.h> +#include <mach/vm_param.h> #define PAGE_SIZE (1 << PAGE_SHIFT) |