Index: kernel/generic/include/main/main.h
===================================================================
--- kernel/generic/include/main/main.h	(revision bc18d63b733703c3262a3a720f92513621962cff)
+++ kernel/generic/include/main/main.h	(revision bf25efb0b361ed9f7b43f5db17457fa376e1bd25)
@@ -36,5 +36,10 @@
 #define KERN_MAIN_H_
 
+#include <arch/types.h>
+
 extern uintptr_t stack_safe;
+
+extern void main_bsp(void);
+extern void main_ap(void);
 
 #endif