--- Gnu-Mach/device/ds_routines.c 2020/09/02 04:52:14 1.1.1.7 +++ Gnu-Mach/device/ds_routines.c 2020/09/02 04:54:19 1.1.1.8 @@ -1512,7 +1512,7 @@ void io_done_thread(void) /* * Set thread privileges and highest priority. */ - current_thread()->vm_privilege = TRUE; + current_thread()->vm_privilege = 1; stack_privilege(current_thread()); thread_set_own_priority(0); @@ -1532,7 +1532,7 @@ void mach_device_init(void) simple_lock_init(&io_done_list_lock); kmem_submap(device_io_map, kernel_map, &device_io_min, &device_io_max, - DEVICE_IO_MAP_SIZE, FALSE); + DEVICE_IO_MAP_SIZE); /* * If the kernel receives many device_write requests, the