coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
uart.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef _DENVERTON_NS_UART_H
4 #define _DENVERTON_NS_UART_H
5 
6 #define SIZE_OF_HSUART_RES 0x100
7 #define DENVERTON_UARTS_TO_INI 3
8 #define PSR_OFFSET 0x30
9 #define PCI_FUNC_RDCFG_HIDE 0x74
10 
11 #define BUILD_BUG_ON(condition) ((void)sizeof(char[1 - 2 * !!(condition)]))
12 
13 #endif /* _DENVERTON_NS_UART_H */