timer_info         84 sys/include/timer.h void	 timer_info(struct timerinfo *);
timer_info         70 sys/kern/system.c 		timer_info(buf);