TASK_EXIT
Purpose
task_exit destroys the current task.
Synopsis
#include <types.h>
#include <stub.h>
int task_exit(int exit_status);
Parameters
-
exit_status: the status to be returned
to the thread calling task_wait.
Description
task_exit calls task_destroy
passing the current task's capability. It is automatically called by thread_destroy
when the last of the task's thread exits.
Return Values
task_exit returns no value, since there
will no longer be any thread to receive it.
See Also
task_create,
task_destroy, task_status,
task_self, task_wait