summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-17 15:58:25 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-17 18:48:39 +0100
commitb5e56770ae41abccdbc28195cc132ff3f8aa1587 (patch)
tree3e4712531ab4a24ac99854e6e0287bef23722ad7
parentb5dfcde4f7728e87860fcc3ac6b0c7a9abe8c94e (diff)
kern/sched_prim.h: remove unnecessary __GNUC__ #ifdef
Attribute noreturn is used irrespective of __GNUC__. Remove unnecessary #ifdef. * kern/sched_prim.h [__GNUC__]: Remove #ifdef.
-rw-r--r--kern/sched_prim.h5
1 files changed, 1 insertions, 4 deletions
diff --git a/kern/sched_prim.h b/kern/sched_prim.h
index 07b5bf0..c7ff977 100644
--- a/kern/sched_prim.h
+++ b/kern/sched_prim.h
@@ -134,11 +134,8 @@ extern void thread_timeout_setup(
extern void thread_bootstrap_return(void);
extern void thread_exception_return(void);
-#ifdef __GNUC__
extern void __attribute__((__noreturn__)) thread_syscall_return(kern_return_t);
-#else
-extern void thread_syscall_return(kern_return_t);
-#endif
+
extern thread_t switch_context(
thread_t old_thread,
continuation_t continuation,