HelenOS sources

ICP_UART0_IRQ     314 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	if (pl011_uart_init(&icp.uart, ICP_UART0_IRQ, ICP_UART))
ICP_UART0_IRQ     353 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 		icp_irqc_unmask(ICP_UART0_IRQ);