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