--- Gnu-Mach/kern/sched_prim.h	2020/09/02 04:36:56	1.1
+++ Gnu-Mach/kern/sched_prim.h	2020/09/02 04:45:13	1.1.1.2
@@ -104,6 +104,18 @@ extern boolean_t thread_handoff(
 	continuation_t	continuation,
 	thread_t	new_thread);
 extern void	recompute_priorities();
+extern void	update_priority(
+	thread_t	thread);
+extern void	compute_my_priority(
+	thread_t	thread);
+extern void thread_bind(
+    thread_t   thread,
+    processor_t     processor);
+extern void compute_priority(
+    thread_t   thread,
+    boolean_t       resched);
+extern void thread_timeout_setup(
+    register thread_t   thread);
 
 /*
  *	Routines defined as macros
@@ -123,7 +135,7 @@ extern void	recompute_priorities();
 extern void	thread_bootstrap_return(void);
 extern void	thread_exception_return(void);
 #ifdef	__GNUC__
-extern void 	__volatile__ thread_syscall_return(kern_return_t);
+extern void 	__attribute__((__noreturn__)) thread_syscall_return(kern_return_t);
 #else
 extern void	thread_syscall_return(kern_return_t);
 #endif