Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision 0573650e543eeb9b2dc06e7333a62b1d68949e82)
+++ kernel/arch/abs32le/src/abs32le.c	(revision 7ec3c5638215716bb0cffafe64b4b0bdc6a543b3)
@@ -69,5 +69,5 @@
 }
 
-void arch_post_cpu_init()
+void arch_post_cpu_init(void)
 {
 }