--- Gnu-Mach/kern/profile.c	2020/09/02 04:42:49	1.1.1.2
+++ Gnu-Mach/kern/profile.c	2020/09/02 04:49:58	1.1.1.4
@@ -172,7 +172,7 @@ printf("profile_thread: mach_msg failed
 					sizeof(struct buf_to_send));
 	}
 
-	thread_halt_self();
+	thread_halt_self(thread_exception_return);
 }
 
 
@@ -194,7 +194,7 @@ thread_t th;
 	 * Make a request to the profile_thread by inserting
 	 * the buffer in the send queue, and wake it up.
 	 * The last buffer must be inserted at the head of the
-	 * send queue, so the profile_thread handles it immediatly.
+	 * send queue, so the profile_thread handles it immediately.
 	 */
 	if (kmem_alloc( kernel_map, &vm_buf_entry,
 		   sizeof(struct buf_to_send)) != KERN_SUCCESS)
@@ -213,7 +213,7 @@ thread_t th;
 		thread_wakeup((event_t) profile_thread);
 		assert_wait((event_t) &buf_entry->wakeme, TRUE);
 		splx(s);
-		thread_block((void (*)()) 0);
+		thread_block(thread_no_continuation);
 	} else {
 		splx(s);
 		kmem_free(kernel_map, vm_buf_entry, sizeof(struct buf_to_send));