Index: generic/include/proc/task.h
===================================================================
--- generic/include/proc/task.h	(revision b91bb6570eb79f8664dfce18d85b54e059bc684d)
+++ generic/include/proc/task.h	(revision 6f9a9bca0eb57eab9af41bd5a627f7f7fdcdc276)
@@ -93,4 +93,8 @@
 #endif
 
+#ifndef task_destroy_arch
+extern void task_destroy_arch(task_t *t);
+#endif
+
 extern __native sys_task_get_id(task_id_t *uspace_task_id);