diff options
Diffstat (limited to 'mach-defpager/main.c')
| -rw-r--r-- | mach-defpager/main.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mach-defpager/main.c b/mach-defpager/main.c index 71615c8f..67d4c585 100644 --- a/mach-defpager/main.c +++ b/mach-defpager/main.c @@ -32,6 +32,7 @@ #include <error.h> #include <signal.h> #include <string.h> +#include <sys/mman.h> /* XXX */ #include <fcntl.h> @@ -89,6 +90,10 @@ main (int argc, char **argv) if (err) error (1, err, "cannot get privileged ports"); + err = mlockall(MCL_CURRENT | MCL_FUTURE); + if (err) + error (1, err, "cannot lock all memory"); + defpager = MACH_PORT_NULL; err = vm_set_default_memory_manager (bootstrap_master_host_port, &defpager); if (err) |