HelenOS sources

AMDM37x_GPT1_IRQ  121 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	timer_irq.inr = AMDM37x_GPT1_IRQ;
AMDM37x_GPT1_IRQ  127 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	omap_irc_enable(beagleboard.irc_addr, AMDM37x_GPT1_IRQ);