Index: uspace/lib/c/include/entry_point.h
===================================================================
--- uspace/lib/c/include/entry_point.h	(revision e141281aa239c549426ee31f8ac6de80704241b1)
+++ 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
Index: uspace/srv/loader/main.c
===================================================================
--- uspace/srv/loader/main.c	(revision e141281aa239c549426ee31f8ac6de80704241b1)
+++ uspace/srv/loader/main.c	(revision 31a30fa95fcc2cc5a9f00dce265d29d16090b44f)
@@ -309,5 +309,6 @@
  * @return 0 on success, !0 on error.
  */
-static void ldr_run(ipc_callid_t rid, ipc_call_t *request)
+static __attribute__((noreturn)) void ldr_run(ipc_callid_t rid,
+    ipc_call_t *request)
 {
 	DPRINTF("Set task name\n");