diff options
Diffstat (limited to 'kern')
| -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, |