Index: kernel/generic/include/func.h
===================================================================
--- kernel/generic/include/func.h	(revision 16da5f8ea9ab37e2cfa254399004c4e82b09001c)
+++ kernel/generic/include/func.h	(revision a70bda4b7e660fc2b806d568769f69df5006fd24)
@@ -41,5 +41,5 @@
 extern atomic_t haltstate;
 
-extern void halt(void);
+extern void halt(void) __attribute__((noreturn));
 extern unative_t atoi(const char *text);
 extern void order(const uint64_t val, uint64_t *rv, char *suffix);
