summaryrefslogtreecommitdiff
path: root/kern
diff options
context:
space:
mode:
Diffstat (limited to 'kern')
-rw-r--r--kern/sched_prim.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/sched_prim.h b/kern/sched_prim.h
index ef89514..6a4c32d 100644
--- a/kern/sched_prim.h
+++ b/kern/sched_prim.h
@@ -123,7 +123,7 @@ extern void recompute_priorities();
extern void thread_bootstrap_return(void);
extern void thread_exception_return(void);
#ifdef __GNUC__
-extern void __volatile__ thread_syscall_return(kern_return_t);
+extern void __attribute__((__noreturn__)) thread_syscall_return(kern_return_t);
#else
extern void thread_syscall_return(kern_return_t);
#endif