diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-17 15:58:25 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-17 18:48:39 +0100 |
| commit | b5e56770ae41abccdbc28195cc132ff3f8aa1587 (patch) | |
| tree | 3e4712531ab4a24ac99854e6e0287bef23722ad7 | |
| parent | b5dfcde4f7728e87860fcc3ac6b0c7a9abe8c94e (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.h | 5 |
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, |