pub fn exit_current_task(exit_code: i32) -> !Expand description
Mark the current task as Dead and yield to the scheduler.
Called by SYS_PROC_EXIT. The task will not be re-queued because
pick_next_task() only re-queues tasks in Running state.
This function does not return.