summaryrefslogtreecommitdiff
path: root/serverboot
diff options
context:
space:
mode:
Diffstat (limited to 'serverboot')
-rw-r--r--serverboot/ChangeLog1
-rw-r--r--serverboot/default_pager.c9
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)