Function task_done

kernel/generic/src/proc/task.c:106–150

Kill all tasks except the current task. * */

 *
 */
void task_done(void)
{
	size_t tasks_left;
	task_t *task;

	if (ipc_box_0) {
		task_t *task_0 = ipc_box_0->task;
		ipc_box_0 = NULL;
		/*
		 * The first task is held by kinit(), we need to release it or
		 * it will never finish cleanup.
		 */
		task_release(task_0);
	}

	/* Repeat until there are any tasks except TASK */
	do {
#ifdef CONFIG_DEBUG
		printf("Killing tasks... ");
#endif
		irq_spinlock_lock(&tasks_lock, true);
		tasks_left = 0;

		task = task_first();
		while (task != NULL) {
			if (task != TASK) {
				tasks_left++;
#ifdef CONFIG_DEBUG
				printf("[%" PRIu64 "] ", task->taskid);
#endif
				task_kill_internal(task);
			}

			task = task_next(task);
		}

		irq_spinlock_unlock(&tasks_lock, true);

		thread_sleep(1);

#ifdef CONFIG_DEBUG
		printf("\n");
#endif
	} while (tasks_left > 0);
}

errno_t tsk_constructor(void *obj, unsigned int kmflags)
{