HelenOS sources

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