Make sure the reply port's reference is released when the thread needs to be halted.

* kern/thread.h (thread_halt_self): Add continuation_t parameter.
* kern/thread.c (thread_halt_self): Pass continuation_t parameter to
thread_block instead of thread_exception_return.
* kern/ast.c (ast_taken): Pass thread_exception_return to thread_halt_self.
* kern/profile.c (profile_thread): Likewise.
* kern/exception.c (exception_no_server): Likewise.
(thread_release_and_exception_return): New function.
(exception_raise_continue_slow): Pass thread_release_and_exception_return to
thread_halt_self.

1 files changed, 1 insertions, 1 deletions

diff --git a/kern/ast.c b/kern/ast.c
index 4b9d63d..2772ed3 100644
--- a/kern/ast.c
+++ b/kern/ast.c
@@ -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
 
 		/*