HelenOS sources

ICP_UART          136 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	icp.hw_map.uart = km_map(ICP_UART, PAGE_SIZE, PAGE_SIZE,
ICP_UART          314 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	if (pl011_uart_init(&icp.uart, ICP_UART0_IRQ, ICP_UART))