coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
uart.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <console/uart.h>
4 #include <types.h>
5 
6 uintptr_t uart_platform_base(unsigned int idx)
7 {
8  if (idx == CONFIG_UART_FOR_CONSOLE)
9  return CONFIG_CONSOLE_UART_BASE_ADDRESS;
10 
11  return 0;
12 }
uintptr_t uart_platform_base(unsigned int idx)
Definition: uart.c:8
unsigned long uintptr_t
Definition: stdint.h:21