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