1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <console/uart.h> 4 5 #define VEXPRESS_UART0_IO_ADDRESS (0x10009000) 6 uart_platform_base(unsigned int idx)7 uintptr_t uart_platform_base(unsigned int idx) 8 { 9 return VEXPRESS_UART0_IO_ADDRESS; 10 } 11