diff --git a/src/include/thread.h b/src/include/thread.h
index 25594a8..d200635 100644
--- a/src/include/thread.h
+++ b/src/include/thread.h
@@ -70,7 +70,7 @@
  * will enter the thread_entry() function with arg as a parameter. The
  * saved_stack field in the struct thread needs to be updated accordingly. */
 void arch_prepare_thread(struct thread *t,
-			 void asmlinkage (*thread_entry)(void *), void *arg);
+			 asmlinkage void (*thread_entry)(void *), void *arg);
 #else
 static inline void threads_initialize(void) {}
 static inline int thread_run(void (*func)(void *), void *arg) { return -1; }