[PATCH 1/4] kern/sched_prim.h: remove unnecessary __GNUC__ #ifdef

[Marin Ramesa]

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(-)

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,
-- 
1.8.1.4