diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1997-04-09 18:09:14 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1997-04-09 18:09:14 +0000 |
| commit | f9ac79ece48085535de7e544d38ac922c56d95ed (patch) | |
| tree | ebddcab953f26d730b20a14633772671929b68b2 /serverboot/default_pager.c | |
| parent | c7e93b108c7503f31d12932596f36a933961dfe2 (diff) | |
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.
Diffstat (limited to 'serverboot/default_pager.c')
| -rw-r--r-- | serverboot/default_pager.c | 9 |
1 files changed, 0 insertions, 9 deletions
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) |