HelenOS sources

am335x_timer_init  150 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	rc = am335x_timer_init(&bbone.timer, DMTIMER2, HZ, sysclk_freq);
am335x_timer_init   87 kernel/genarch/include/genarch/drivers/am335x/timer.h extern errno_t am335x_timer_init(am335x_timer_t *timer, am335x_timer_id_t id,