HelenOS sources

am335x_timer_t     70 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	am335x_timer_t timer;
am335x_timer_t     87 kernel/genarch/include/genarch/drivers/am335x/timer.h extern errno_t am335x_timer_init(am335x_timer_t *timer, am335x_timer_id_t id,
am335x_timer_t     89 kernel/genarch/include/genarch/drivers/am335x/timer.h extern void am335x_timer_intr_ack(am335x_timer_t *timer);
am335x_timer_t     90 kernel/genarch/include/genarch/drivers/am335x/timer.h extern void am335x_timer_reset(am335x_timer_t *timer);
am335x_timer_t     91 kernel/genarch/include/genarch/drivers/am335x/timer.h extern void am335x_timer_start(am335x_timer_t *timer);
am335x_timer_t     92 kernel/genarch/include/genarch/drivers/am335x/timer.h extern void am335x_timer_stop(am335x_timer_t *timer);
am335x_timer_t     65 kernel/genarch/src/drivers/am335x/timer.c write_register_posted(am335x_timer_t *timer, timer_reg_t reg, uint32_t value)
am335x_timer_t     88 kernel/genarch/src/drivers/am335x/timer.c am335x_timer_init(am335x_timer_t *timer, am335x_timer_id_t id, unsigned hz,
am335x_timer_t    141 kernel/genarch/src/drivers/am335x/timer.c am335x_timer_intr_ack(am335x_timer_t *timer)
am335x_timer_t    148 kernel/genarch/src/drivers/am335x/timer.c am335x_timer_reset(am335x_timer_t *timer)
am335x_timer_t    158 kernel/genarch/src/drivers/am335x/timer.c am335x_timer_stop(am335x_timer_t *timer)
am335x_timer_t    169 kernel/genarch/src/drivers/am335x/timer.c am335x_timer_start(am335x_timer_t *timer)