--- Gnu-Mach/kern/thread_swap.h	2020/09/02 04:47:25	1.1.1.4
+++ Gnu-Mach/kern/thread_swap.h	2020/09/02 04:49:49	1.1.1.5
@@ -37,7 +37,7 @@
  */
 extern void	swapper_init(void);
 extern void	thread_swapin(thread_t thread);
-extern void	thread_doswapin(thread_t thread);
+extern kern_return_t	thread_doswapin(thread_t thread);
 extern void	swapin_thread(void) __attribute__((noreturn));
 
 #endif	/* _KERN_THREAD_SWAP_H_ */