HelenOS sources

HIKEY960_UART_IRQ   89 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	if (!pl011_uart_init(&hikey960.uart, HIKEY960_UART_IRQ,
HIKEY960_UART_IRQ  105 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	gicv2_enable(&hikey960.gicv2, HIKEY960_UART_IRQ);