HelenOS sources

pl011_uart_init   314 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	if (pl011_uart_init(&icp.uart, ICP_UART0_IRQ, ICP_UART))
pl011_uart_init   192 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	if (pl011_uart_init(&raspi.uart, BCM2835_UART_IRQ,
pl011_uart_init    89 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	if (!pl011_uart_init(&hikey960.uart, HIKEY960_UART_IRQ,
pl011_uart_init   107 kernel/arch/arm64/src/mach/virt/virt.c 	if (!pl011_uart_init(&virt.uart, VIRT_UART_IRQ, VIRT_UART_ADDRESS))
pl011_uart_init   156 kernel/genarch/include/genarch/drivers/pl011/pl011.h bool pl011_uart_init(pl011_uart_t *, inr_t, uintptr_t);