From b5e56770ae41abccdbc28195cc132ff3f8aa1587 Mon Sep 17 00:00:00 2001 From: Marin Ramesa Date: Tue, 17 Dec 2013 15:58:25 +0100 Subject: 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. --- kern/sched_prim.h | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'kern') 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, -- cgit v1.2.3