HelenOS sources

AMDM37x_UART3_IRQ  179 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	    AMDM37x_UART3_IRQ, AMDM37x_UART3_BASE_ADDRESS, AMDM37x_UART3_SIZE);
AMDM37x_UART3_IRQ  194 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 		omap_irc_enable(beagleboard.irc_addr, AMDM37x_UART3_IRQ);