Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 60db8525f04f5e9caea3389ef78b705ef8a76368)
+++ kernel/arch/ia64/src/ia64.c	(revision 9cd81655f6cba65cbde69068b36eff82d99f80b8)
@@ -123,5 +123,6 @@
 }
 
-void arch_post_cpu_init(void){
+void arch_post_cpu_init(void)
+{
 }