Index: kernel/arch/ia64/include/arch.h
===================================================================
--- kernel/arch/ia64/include/arch.h	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/arch/ia64/include/arch.h	(revision f89979b1e04f036c3b08e99110d2269a0314f7c9)
@@ -40,4 +40,6 @@
 #include <arch/ski/ski.h>
 
+extern void arch_pre_main(void);
+
 #endif