Index: kernel/arch/mips32/include/asm.h
===================================================================
--- kernel/arch/mips32/include/asm.h	(revision 3a2f8aa1cef1886a9586c9987617553007802c3f)
+++ kernel/arch/mips32/include/asm.h	(revision 472c09d5893ee3d91337e6bd2fdda63fdbe11301)
@@ -66,5 +66,5 @@
 }
 
-extern void cpu_halt(void);
+extern void cpu_halt(void) __attribute__((noreturn));
 extern void asm_delay_loop(uint32_t t);
 extern void userspace_asm(uintptr_t ustack, uintptr_t uspace_uarg,