1 /* SPDX-License-Identifier: GPL-2.0-or-later */ 2 3 #include <console/uart.h> 4 #include <mainboard/addressmap.h> 5 uart_platform_base(unsigned int idx)6 uintptr_t uart_platform_base(unsigned int idx) 7 { 8 return VIRT_UART_BASE; 9 } 10