Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 88dfee72b892efbc89d6fc68db4a2e3de85ea013)
+++ kernel/arch/ia64/src/ia64.c	(revision 8576bb493150a7dab2199a1b5dea8bffa4edc9e5)
@@ -123,5 +123,6 @@
 }
 
-void arch_post_cpu_init(void){
+void arch_post_cpu_init(void)
+{
 }