timer_add         134 sys/kern/timer.c 	timer_add(tmr, mstohz(msec));
timer_add         290 sys/kern/timer.c 		timer_add(tmr, mstohz(start));
timer_add         417 sys/kern/timer.c 			timer_add(tmr, ticks);