HelenOS sources

am335x_timer_start  158 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	am335x_timer_start(&bbone.timer);
am335x_timer_start   91 kernel/genarch/include/genarch/drivers/am335x/timer.h extern void am335x_timer_start(am335x_timer_t *timer);