(thread_function): Move thread_function to be non-local, of course,

because it needs to live even after create_disk_pager returns.

1 files changed, 10 insertions, 11 deletions

diff --git a/ufs/pager.c b/ufs/pager.c
index 938e1127..355af46c 100644
--- a/ufs/pager.c
+++ b/ufs/pager.c
@@ -375,22 +375,21 @@ pager_dropweak (struct user_pager_info *upi __attribute__ ((unused)))
     
 
 
+static void
+thread_function (any_t foo __attribute__ ((unused)))
+{
+  for (;;)
+    ports_manage_port_operations_multithread (pager_bucket,
+					      pager_demuxer,
+					      1000 * 60 * 2,
+					      1000 * 60 * 10,
+					      1, MACH_PORT_NULL);
+}
 
 /* Create a the DISK pager, initializing DISKPAGER, and DISKPAGERPORT */
 void
 create_disk_pager ()
 {
-  void
-    thread_function (any_t foo __attribute__ ((unused)))
-      {
-	for (;;)
-	  ports_manage_port_operations_multithread (pager_bucket,
-						    pager_demuxer,
-						    1000 * 60 * 2,
-						    1000 * 60 * 10,
-						    1, MACH_PORT_NULL);
-      }
-
   pager_bucket = ports_create_bucket ();
 
   cthread_detach (cthread_fork ((cthread_fn_t) thread_function, (any_t) 0));