inittimecounter   146 kern/kern_clock.c 	extern void inittimecounter(void);
inittimecounter   170 kern/kern_clock.c 	inittimecounter();
inittimecounter    75 sys/timetc.h   void	inittimecounter(void);