HelenOS sources

am335x_timer_reset   90 kernel/genarch/include/genarch/drivers/am335x/timer.h extern void am335x_timer_reset(am335x_timer_t *timer);
am335x_timer_reset  118 kernel/genarch/src/drivers/am335x/timer.c 	am335x_timer_reset(timer);