HelenOS sources

TIMERS_MAX         53 kernel/genarch/src/drivers/am335x/timer.c static const timer_regs_mmap_t regs_map[TIMERS_MAX] = {
TIMERS_MAX         94 kernel/genarch/src/drivers/am335x/timer.c 	assert(id < TIMERS_MAX);