Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision 07c913b7957f3c0dc58289db4a7542e11eb4ffd4)
+++ kernel/arch/mips32/src/debugger.c	(revision 7ec3c5638215716bb0cffafe64b4b0bdc6a543b3)
@@ -288,5 +288,5 @@
  *
  */
-void debugger_init()
+void debugger_init(void)
 {
 	unsigned int i;
Index: kernel/arch/mips32/src/fpu_context.c
===================================================================
--- kernel/arch/mips32/src/fpu_context.c	(revision 07c913b7957f3c0dc58289db4a7542e11eb4ffd4)
+++ kernel/arch/mips32/src/fpu_context.c	(revision 7ec3c5638215716bb0cffafe64b4b0bdc6a543b3)
@@ -53,5 +53,5 @@
 }
 
-void fpu_init()
+void fpu_init(void)
 {
 	/* TODO: Zero all registers */