HelenOS sources

HIKEY960_UART_ADDRESS   90 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	    HIKEY960_UART_ADDRESS))
HIKEY960_UART_ADDRESS  127 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	    PA2KA(HIKEY960_UART_ADDRESS);
HIKEY960_UART_ADDRESS  129 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	    PA2KA(HIKEY960_UART_ADDRESS + 24);