tc_ticktock       313 kern/kern_clock.c 	tc_ticktock();
tc_ticktock        74 sys/timetc.h   void	tc_ticktock(void);