diff options
Diffstat (limited to 'serverboot/default_pager.c')
| -rw-r--r-- | serverboot/default_pager.c | 23 |
1 files changed, 16 insertions, 7 deletions
diff --git a/serverboot/default_pager.c b/serverboot/default_pager.c index 6c44bd0d..e7d5fa5a 100644 --- a/serverboot/default_pager.c +++ b/serverboot/default_pager.c @@ -2664,6 +2664,20 @@ default_pager_thread_privileges() } any_t +default_pager_default_thread (arg) + any_t arg; +{ + for (;;) { + kr = mach_msg_server(default_pager_demux_default, + default_pager_msg_size_default, + default_pager_default_set); + panic(my_name, kr); + } +} + + + +any_t default_pager_thread(arg) any_t arg; { @@ -2876,13 +2890,8 @@ default_pager() printf ("dp6\n"); - for (;;) { - printf ("dp7\n"); - kr = mach_msg_server(default_pager_demux_default, - default_pager_msg_size_default, - default_pager_default_set); - panic(my_name, kr); - } + cthread_fork (default_pager_default_thread, 0); + cthread_exit (cthread_self ()); } /* |