--- Gnu-Mach/kern/syscall_subr.h	2020/09/02 04:45:10	1.1.1.3
+++ Gnu-Mach/kern/syscall_subr.h	2020/09/02 04:47:23	1.1.1.4
@@ -37,5 +37,6 @@ extern int	thread_switch(mach_port_t, in
 extern void	thread_depress_timeout(thread_t);
 extern kern_return_t thread_depress_abort(thread_t);
 extern void	mach_print(const char *);
+extern void thread_depress_priority(thread_t thread, mach_msg_timeout_t depress_time);
 
 #endif	/* _KERN_SYSCALL_SUBR_H_ */