/* SPDX-License-Identifier: GPL-2.0-only */ #include <console/uart.h> #include <soc/clock.h> #include <stdint.h> unsigned int uart_platform_refclk(void) { return OSC_HZ; } uintptr_t uart_platform_base(unsigned int idx) { return CONFIG_CONSOLE_SERIAL_UART_ADDRESS; }