--- Gnu-Mach/kern/thread_swap.h	2020/09/02 04:42:41	1.1.1.2
+++ Gnu-Mach/kern/thread_swap.h	2020/09/02 04:47:25	1.1.1.4
@@ -35,10 +35,9 @@
 /*
  *	exported routines
  */
-extern void	swapper_init();
-extern void	thread_swapin( /* thread_t thread */ );
-extern void	thread_doswapin( /* thread_t thread */ );
-extern void	swapin_thread();
-extern void	thread_swapout( /* thread_t thread */ );
+extern void	swapper_init(void);
+extern void	thread_swapin(thread_t thread);
+extern void	thread_doswapin(thread_t thread);
+extern void	swapin_thread(void) __attribute__((noreturn));
 
 #endif	/* _KERN_THREAD_SWAP_H_ */