--- Gnu-Mach/kern/syscall_subr.h	2020/09/02 04:42:39	1.1.1.2
+++ Gnu-Mach/kern/syscall_subr.h	2020/09/02 04:45:10	1.1.1.3
@@ -24,12 +24,18 @@
  * the rights to redistribute these changes.
  */
 
+#include <sys/types.h>
+#include <mach/mach_types.h>
+#include <kern/kern_types.h>
+
 #ifndef	_KERN_SYSCALL_SUBR_H_
 #define _KERN_SYSCALL_SUBR_H_
 
-extern int	swtch();
-extern int	swtch_pri();
-extern int	thread_switch();
-extern void	thread_depress_timeout();
+extern int	swtch(void);
+extern int	swtch_pri(int);
+extern int	thread_switch(mach_port_t, int, mach_msg_timeout_t);
+extern void	thread_depress_timeout(thread_t);
+extern kern_return_t thread_depress_abort(thread_t);
+extern void	mach_print(const char *);
 
 #endif	/* _KERN_SYSCALL_SUBR_H_ */