diff options
Diffstat (limited to 'mach-defpager/main.c')
| -rw-r--r-- | mach-defpager/main.c | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/mach-defpager/main.c b/mach-defpager/main.c index c44c86cb..3134d6f3 100644 --- a/mach-defpager/main.c +++ b/mach-defpager/main.c @@ -21,7 +21,7 @@ #include <mach.h> #include <hurd.h> -#include <cthreads.h> +#include <pthread.h> #include <device/device.h> #include <device/device_types.h> @@ -45,9 +45,6 @@ #include <default_pager.h> -extern -vm_size_t cthread_wait_stack_size; - mach_port_t bootstrap_master_device_port; /* local name */ mach_port_t bootstrap_master_host_port; /* local name */ @@ -87,11 +84,6 @@ main (int argc, char **argv) error_t err; memory_object_t defpager; - /* - * Use 4Kbyte cthread wait stacks. - */ - cthread_wait_stack_size = 4 * 1024; - err = get_privileged_ports (&bootstrap_master_host_port, &bootstrap_master_device_port); if (err) |