Index: kernel/generic/include/arch.h
===================================================================
--- kernel/generic/include/arch.h	(revision 7bcfbbc039dd4d392dc880cbc1a87b94b7ca853f)
+++ kernel/generic/include/arch.h	(revision ddee70820f4858a2e9e0b986ad80d7f6246fac41)
@@ -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 ddee70820f4858a2e9e0b986ad80d7f6246fac41)
@@ -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);