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 31a30fa95fcc2cc5a9f00dce265d29d16090b44f)
@@ -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