Index: kernel/generic/include/arch.h
===================================================================
--- kernel/generic/include/arch.h	(revision 6bf612bbbe34393f2172ff7651103f824ecdaa4c)
+++ kernel/generic/include/arch.h	(revision 5cb223fc45a97511d5661289ec56529d021ec8f6)
@@ -64,10 +64,9 @@
 } the_t;
 
-#define THE		((the_t *)(get_stack_base()))
+#define THE  ((the_t * )(get_stack_base()))
 
 extern void the_initialize(the_t *the);
 extern void the_copy(the_t *src, the_t *dst);
 
-extern void arch_pre_main(void);
 extern void arch_pre_mm_init(void);
 extern void arch_post_mm_init(void);