--- Gnu-Mach/kern/ipc_sched.c	2020/09/02 04:36:57	1.1.1.1
+++ Gnu-Mach/kern/ipc_sched.c	2020/09/02 04:45:14	1.1.1.2
@@ -24,17 +24,15 @@
  * the rights to redistribute these changes.
  */
 
-#include <cpus.h>
-#include <mach_host.h>
-
 #include <mach/message.h>
 #include <kern/counters.h>
 #include "cpu_number.h"
+#include <kern/debug.h>
 #include <kern/lock.h>
+#include <kern/mach_clock.h>
 #include <kern/thread.h>
 #include <kern/sched_prim.h>
 #include <kern/processor.h>
-#include <kern/time_out.h>
 #include <kern/thread_swap.h>
 #include <kern/ipc_sched.h>
 #include <machine/machspl.h>	/* for splsched/splx */
@@ -168,7 +166,6 @@ thread_will_wait_with_timeout(
 #define	check_bound_processor(thread)	TRUE
 #endif	/* NCPUS > 1 */
 
-#ifdef CONTINUATIONS
 /*
  *	Routine:	thread_handoff
  *	Purpose:
@@ -284,4 +281,3 @@ thread_handoff(
 	counter_always(c_thread_handoff_hits++);
 	return TRUE;
 }
-#endif /* CONTINUATIONS */