Index: kernel/generic/include/func.h
===================================================================
--- kernel/generic/include/func.h	(revision 3a2f8aa1cef1886a9586c9987617553007802c3f)
+++ kernel/generic/include/func.h	(revision eda925ad3905a0c8e5cc3f1d3908e5bb1d14bcae)
@@ -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);