timer_ticks       191 bsp/drv/dev/rtc/rtc.c 		msec = hztoms(timer_ticks() - sc->boot_ticks);
timer_ticks       227 bsp/drv/dev/rtc/rtc.c 	sc->boot_ticks = timer_ticks();
timer_ticks       136 bsp/drv/include/dki.h u_long	 timer_ticks(void);
timer_ticks        77 bsp/drv/lib/delay.c 		ticks = timer_ticks();
timer_ticks        78 bsp/drv/lib/delay.c 		while (ticks == timer_ticks());
timer_ticks        80 bsp/drv/lib/delay.c 		ticks = timer_ticks();
timer_ticks        82 bsp/drv/lib/delay.c 		if (ticks != timer_ticks())
timer_ticks        94 bsp/drv/lib/delay.c 		ticks = timer_ticks();
timer_ticks        95 bsp/drv/lib/delay.c 		while (ticks == timer_ticks());
timer_ticks        97 bsp/drv/lib/delay.c 		ticks = timer_ticks();
timer_ticks        99 bsp/drv/lib/delay.c 		if (ticks != timer_ticks())
timer_ticks        83 sys/include/timer.h u_long	 timer_ticks(void);
timer_ticks        91 sys/kern/device.c 	/* 17 */ DKIENT(timer_ticks),
timer_ticks       234 sys/kern/system.c 	t = timer_ticks();