--- Gnu-Mach/kern/timer.h	2020/09/02 04:45:16	1.1.1.3
+++ Gnu-Mach/kern/timer.h	2020/09/02 04:49:53	1.1.1.5
@@ -27,7 +27,7 @@
 #ifndef	_KERN_TIMER_H_
 #define _KERN_TIMER_H_
 
-#include <kern/macro_help.h>
+#include <kern/macros.h>
 
 #if	STAT_TIME
 /*
@@ -168,7 +168,7 @@ extern void	time_int_exit(unsigned, time
 
 #define TIMER_DELTA(timer, save, result)			\
 MACRO_BEGIN							\
-	register unsigned	temp;				\
+	unsigned	temp;					\
 								\
 	temp = (timer).low_bits;				\
 	if ((save).high != (timer).high_bits_check) {		\
@@ -182,4 +182,6 @@ MACRO_END
 
 extern void init_timers(void);
 
+void timer_init(timer_t this_timer);
+
 #endif	/* _KERN_TIMER_H_ */