--- Gnu-Mach/xen/time.h	2020/09/02 04:45:34	1.1
+++ Gnu-Mach/xen/time.h	2020/09/02 04:52:15	1.1.1.2
@@ -20,6 +20,6 @@
 #define XEN_TIME_H
 
 #include <mach/mach_types.h>
-unsigned64_t hyp_get_time(void);
+uint64_t hyp_get_time(void);
 
 #endif /* XEN_TIME_H */