--- 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:47:36	1.1.1.4
@@ -25,37 +25,25 @@
  */
 
 #include <mach/std_types.h>
+#include <machine/locore.h>
 #include <sys/time.h>
 #include <kern/time_stamp.h>
 
 /*
  *	ts.c - kern_timestamp system call.
  */
-#ifdef	multimax
-#include <mmax/timer.h>
-#endif	/* multimax */
-
-
-
 kern_return_t
-kern_timestamp(tsp)
-struct	tsval	*tsp;
+kern_timestamp(struct tsval *tsp)
 {
-#ifdef	multimax
-	struct	tsval	temp;
-	temp.low_val = FRcounter;
-	temp.high_val = 0;
-#else	/* multimax */
 /*
 	temp.low_val = 0;
 	temp.high_val = ts_tick_count;
 */
 	time_value_t temp;
 	temp = time;
-#endif	/* multimax */
 
-	if (copyout((char *)&temp,
-		    (char *)tsp,
+	if (copyout(&temp,
+		    tsp,
 		    sizeof(struct tsval)) != KERN_SUCCESS)
 	    return(KERN_INVALID_ADDRESS);
 	return(KERN_SUCCESS);
@@ -65,10 +53,7 @@ struct	tsval	*tsp;
  *	Initialization procedure.
  */
 
-void timestamp_init()
+void timestamp_init(void)
 {
-#ifdef	multimax
-#else	/* multimax */
 	ts_tick_count = 0;
-#endif	/* multimax */
 }