HelenOS sources
omap_irc_enable 127 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c omap_irc_enable(beagleboard.irc_addr, AMDM37x_GPT1_IRQ);
omap_irc_enable 194 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c omap_irc_enable(beagleboard.irc_addr, AMDM37x_UART3_IRQ);
omap_irc_enable 156 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c omap_irc_enable(bbone.irc_addr, AM335x_DMTIMER2_IRQ);
omap_irc_enable 218 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c omap_irc_enable(bbone.irc_addr, AM335x_UART0_IRQ);
HelenOS homepage, sources at GitHub