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