HelenOS sources

am335x_timer_stop   92 kernel/genarch/include/genarch/drivers/am335x/timer.h extern void am335x_timer_stop(am335x_timer_t *timer);
am335x_timer_stop  115 kernel/genarch/src/drivers/am335x/timer.c 	am335x_timer_stop(timer);