Index: uspace/lib/c/include/entry_point.h
===================================================================
--- uspace/lib/c/include/entry_point.h	(revision 51774cd3e07c4126f214f9532d6f1d548771039e)
+++ uspace/lib/c/include/entry_point.h	(revision f2338407dd7bc780955a89da886fff9b8c761691)
@@ -37,5 +37,5 @@
 
 /* Defined in arch/ARCH/src/entryjmp.[c|s] */
-void entry_point_jmp(void *, void *);
+void entry_point_jmp(void *, void *) __attribute__((noreturn));
 
 #endif