--- Gnu-Mach/kern/thread_swap.h	2020/09/02 04:45:12	1.1.1.3
+++ Gnu-Mach/kern/thread_swap.h	2020/09/02 04:47:25	1.1.1.4
@@ -38,7 +38,6 @@
 extern void	swapper_init(void);
 extern void	thread_swapin(thread_t thread);
 extern void	thread_doswapin(thread_t thread);
-extern void	swapin_thread(void);
-extern void	thread_swapout(thread_t thread);
+extern void	swapin_thread(void) __attribute__((noreturn));
 
 #endif	/* _KERN_THREAD_SWAP_H_ */