--- Gnu-Mach/kern/time_stamp.c	2020/09/02 04:42:48	1.1.1.2
+++ Gnu-Mach/kern/time_stamp.c	2020/09/02 04:45:19	1.1.1.3
@@ -25,6 +25,7 @@
  */
 
 #include <mach/std_types.h>
+#include <machine/locore.h>
 #include <sys/time.h>
 #include <kern/time_stamp.h>