--- Gnu-Mach/kern/ast.c	2020/09/02 04:47:27	1.1.1.4
+++ Gnu-Mach/kern/ast.c	2020/09/02 04:49:51	1.1.1.5
@@ -96,7 +96,7 @@ ast_taken(void)
 	if (self != current_processor()->idle_thread) {
 #ifndef MIGRATING_THREADS
 		while (thread_should_halt(self))
-			thread_halt_self();
+			thread_halt_self(thread_exception_return);
 #endif
 
 		/*