THREAD_EXIT
Purpose
thread_exit destroys the current thread.
Synopsis
#include <types.h>
#include <stub.h>
int thread_exit(int exit_status);
Parameters
-
exit_status: the status to be returned
to the thread calling thread_wait.
Description
thread_exit calls thread_destroy
passing the current thread's capability.
Return Values
thread_exit returns no value, since there
will no longer be any thread to receive it.
See Also
thread_create,
thread_destroy, thread_status,
thread_self, thread_wait