HelenOS sources

VIRT_UART_IRQ     107 kernel/arch/arm64/src/mach/virt/virt.c 	if (!pl011_uart_init(&virt.uart, VIRT_UART_IRQ, VIRT_UART_ADDRESS))
VIRT_UART_IRQ     122 kernel/arch/arm64/src/mach/virt/virt.c 	gicv2_enable(&virt.gicv2, VIRT_UART_IRQ);