Index: kernel/generic/include/arch.h
===================================================================
--- kernel/generic/include/arch.h	(revision 7bcfbbc039dd4d392dc880cbc1a87b94b7ca853f)
+++ kernel/generic/include/arch.h	(revision e41455d32a4ca3fd7af54e8ee9e03514294c7153)
@@ -75,5 +75,9 @@
 extern void arch_pre_smp_init(void);
 extern void arch_post_smp_init(void);
+
 extern void calibrate_delay_loop(void);
+
+extern void reboot(void);
+extern void arch_reboot(void);
 
 #endif
Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 7bcfbbc039dd4d392dc880cbc1a87b94b7ca853f)
+++ kernel/generic/include/proc/task.h	(revision e41455d32a4ca3fd7af54e8ee9e03514294c7153)
@@ -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);