task_done 145 kernel/generic/include/proc/task.h extern void task_done(task_t *); task_done 53 kernel/generic/src/main/shutdown.c task_done(kernel_task);