From 13a3d2472961902e809bb90fc5adc6b7696f7db5 Mon Sep 17 00:00:00 2001 From: Marin Ramesa Date: Mon, 16 Dec 2013 23:55:18 +0100 Subject: Mark functions that don't return with attribute noreturn --- kern/sched_prim.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kern/sched_prim.c') diff --git a/kern/sched_prim.c b/kern/sched_prim.c index f8170044..1d2e14e5 100644 --- a/kern/sched_prim.c +++ b/kern/sched_prim.c @@ -1618,7 +1618,7 @@ int no_dispatch_count = 0; * to execute. */ -void idle_thread_continue(void) +void __attribute__((noreturn)) idle_thread_continue(void) { processor_t myprocessor; volatile thread_t *threadp; -- cgit v1.2.3