HelenOS sources

BCM2835_UART_IRQ  192 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	if (pl011_uart_init(&raspi.uart, BCM2835_UART_IRQ,
BCM2835_UART_IRQ  206 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 		bcm2835_irc_enable(raspi.irc, BCM2835_UART_IRQ);