Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 201abde2f6d30f23f1aab2b46d1a55da556278f1)
+++ kernel/generic/include/proc/task.h	(revision 9a7a97029a2915fe7e7b5cf13d8ed2bd225ff1e7)
@@ -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);
