--- Gnu-Mach/kern/thread_swap.c	2020/09/02 04:36:57	1.1.1.1
+++ Gnu-Mach/kern/thread_swap.c	2020/09/02 04:45:15	1.1.1.2
@@ -46,6 +46,7 @@
 
 #include <ipc/ipc_kmsg.h>
 #include <kern/counters.h>
+#include <kern/debug.h>
 #include <kern/thread.h>
 #include <kern/lock.h>
 #include <vm/vm_map.h>
@@ -69,7 +70,7 @@ decl_simple_lock_data(,	swapper_lock_dat
  *
  *	Initialize the swapper module.
  */
-void swapper_init()
+void swapper_init(void)
 {
 	queue_init(&swapin_queue);
 	simple_lock_init(&swapper_lock_data);
@@ -153,7 +154,7 @@ void thread_doswapin(thread)
  *	This procedure executes as a kernel thread.  Threads that need to
  *	be swapped in are swapped in by this thread.
  */
-void swapin_thread_continue()
+void swapin_thread_continue(void)
 {
 	for (;;) {
 		register thread_t thread;
@@ -181,7 +182,7 @@ void swapin_thread_continue()
 	}
 }
 
-void swapin_thread()
+void swapin_thread(void)
 {
 	stack_privilege(current_thread());