Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 201abde2f6d30f23f1aab2b46d1a55da556278f1)
+++ kernel/generic/include/proc/task.h	(revision ec5b3204bea6a5e739faf0a16fd8196042843095)
@@ -112,4 +112,5 @@
 
 extern void task_init(void);
+extern void task_done(void);
 extern task_t *task_create(as_t *as, char *name);
 extern void task_destroy(task_t *t);