--- Gnu-Mach/kern/timer.c	2020/09/02 04:42:39	1.1.1.2
+++ Gnu-Mach/kern/timer.c	2020/09/02 04:45:09	1.1.1.3
@@ -24,9 +24,6 @@
  * the rights to redistribute these changes.
  */
 
-#include <cpus.h>
-#include <stat_time.h>
-
 #include <mach/kern_return.h>
 #include <mach/port.h>
 #include <kern/queue.h>