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