Index: kernel/arch/ia64/include/asm.h
===================================================================
--- kernel/arch/ia64/include/asm.h	(revision 3a2f8aa1cef1886a9586c9987617553007802c3f)
+++ kernel/arch/ia64/include/asm.h	(revision 82474ef569903ac99835ea373081f03a5195c413)
@@ -428,5 +428,5 @@
 }
 
-extern void cpu_halt(void);
+extern void cpu_halt(void) __attribute__((noreturn));
 extern void cpu_sleep(void);
 extern void asm_delay_loop(uint32_t t);