/* SPDX-License-Identifier: GPL-2.0-only */ | |
#include <stddef.h> | |
#include <stdint.h> | |
#include <console/uart.h> | |
#include <commonlib/bsd/helpers.h> | |
#include <soc/addressmap.h> | |
#include <soc/clock.h> | |
uintptr_t uart_platform_base(int idx) | |
{ | |
if (idx < 2) | |
return FU540_UART(idx); | |
else | |
return 0; | |
} | |
unsigned int uart_platform_refclk(void) | |
{ | |
return clock_get_tlclk_khz() * KHz; | |
} |