Index: kernel/arch/mips32/include/arch/asm.h
===================================================================
--- kernel/arch/mips32/include/arch/asm.h	(revision bea6233f6403a8326263792f1a531eb1cb564552)
+++ kernel/arch/mips32/include/arch/asm.h	(revision d31c3ea70b393289736cdac0e91fa5c5eba06c4c)
@@ -81,5 +81,5 @@
 extern void cpu_halt(void) __attribute__((noreturn));
 extern void asm_delay_loop(uint32_t);
-extern void userspace_asm(uintptr_t, uintptr_t, uintptr_t);
+extern void userspace_asm(uintptr_t, uintptr_t);
 
 extern ipl_t interrupts_disable(void);