HelenOS sources

am335x_timer_regs_t   83 kernel/genarch/include/genarch/drivers/am335x/timer.h 	am335x_timer_regs_t *regs;
am335x_timer_regs_t   67 kernel/genarch/src/drivers/am335x/timer.c 	am335x_timer_regs_t *regs = timer->regs;
am335x_timer_regs_t  109 kernel/genarch/src/drivers/am335x/timer.c 	am335x_timer_regs_t *regs = timer->regs;