HelenOS sources

DMTIMER2          138 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	am335x_clock_module_enable(bbone.cm_per_addr, DMTIMER2);
DMTIMER2          140 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	am335x_clock_source_select(bbone.cm_dpll_addr, DMTIMER2,
DMTIMER2          150 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	rc = am335x_timer_init(&bbone.timer, DMTIMER2, HZ, sysclk_freq);
DMTIMER2           51 kernel/genarch/include/genarch/drivers/am335x/cm_dpll.h 	case DMTIMER2:
DMTIMER2           52 kernel/genarch/include/genarch/drivers/am335x/cm_per.h 	case DMTIMER2: