diff options
Diffstat (limited to 'serverboot')
| -rw-r--r-- | serverboot/ChangeLog | 1 | ||||
| -rw-r--r-- | serverboot/default_pager.c | 9 |
2 files changed, 1 insertions, 9 deletions
diff --git a/serverboot/ChangeLog b/serverboot/ChangeLog index 4d589510..ccfccbe2 100644 --- a/serverboot/ChangeLog +++ b/serverboot/ChangeLog @@ -1,6 +1,7 @@ Wed Apr 9 13:57:44 1997 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu> * default_pager.c (default_pager_default_thread): New function. + Delete old variable with this name, it was never used. (default_pager): Fork default_pager_default_thread instead of doing it here to avoid the possibility that we are on a tiny stack. Current thread dies. diff --git a/serverboot/default_pager.c b/serverboot/default_pager.c index e7d5fa5a..85590f18 100644 --- a/serverboot/default_pager.c +++ b/serverboot/default_pager.c @@ -1800,7 +1800,6 @@ void pager_port_finish_refs(ds) task_t default_pager_self; /* Our task port. */ mach_port_t default_pager_default_port; /* Port for memory_object_create. */ -thread_t default_pager_default_thread; /* Thread for default_port. */ /* We catch exceptions on ourself & startup using this port. */ mach_port_t default_pager_exception_port; @@ -2832,14 +2831,6 @@ default_pager() printf ("dp3\n"); - /* - * This thread will receive memory_object_create - * requests from the kernel and default_pager_object_create - * requests from the user via default_pager_default_port. - */ - - default_pager_default_thread = mach_thread_self(); - kr = mach_port_allocate(default_pager_self, MACH_PORT_RIGHT_PORT_SET, &default_pager_internal_set); if (kr != KERN_SUCCESS) |