Index: kernel/arch/sparc64/include/asm.h
===================================================================
--- kernel/arch/sparc64/include/asm.h	(revision 6d7f9bfe6cb09cfc3e3824be236012c2db0cbb7e)
+++ kernel/arch/sparc64/include/asm.h	(revision b4cbef1df4af24ecf6ce8b7e766827011666ebf1)
@@ -430,5 +430,5 @@
 }
 
-extern void cpu_halt(void);
+extern void cpu_halt(void) __attribute__((noreturn));
 extern void cpu_sleep(void);
 extern void asm_delay_loop(const uint32_t usec);