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