e3a1247b15
The UART index is never negative, so make it unsigned and drop the checks for the index to be non-negative. Change-Id: I64bd60bd2a3b82552cb3ac6524792b9ac6c09a94 Signed-off-by: Felix Held <felix-coreboot@felixheld.de> Reviewed-on: https://review.coreboot.org/c/coreboot/+/45294 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Marshall Dawson <marshalldawson3rd@gmail.com> Reviewed-by: Aaron Durbin <adurbin@chromium.org> Reviewed-by: Furquan Shaikh <furquan@google.com>
20 lines
456 B
C
20 lines
456 B
C
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
|
|
#include <console/uart.h>
|
|
#include <soc/uart.h>
|
|
|
|
/*
|
|
* uart_platform_base and uart_platform_refclk are used by the console UART driver and need to
|
|
* be provided exactly once and only by the UART that is used for console.
|
|
*/
|
|
|
|
uintptr_t uart_platform_base(unsigned int idx)
|
|
{
|
|
return get_uart_base(idx);
|
|
}
|
|
|
|
unsigned int uart_platform_refclk(void)
|
|
{
|
|
return CONFIG(PICASSO_UART_48MZ) ? 48000000 : 115200 * 16;
|
|
}
|