HelenOS sources

AM335x_DMTIMER2_IRQ  132 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	timer_irq.inr = AM335x_DMTIMER2_IRQ;
AM335x_DMTIMER2_IRQ  156 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	omap_irc_enable(bbone.irc_addr, AM335x_DMTIMER2_IRQ);