coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
boardid.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __INCLUDE_BOARDID_H__
4 #define __INCLUDE_BOARDID_H__
5 
6 #include <stdint.h>
7 
8 #define UNDEFINED_STRAPPING_ID (~0)
9 
10 #define BOARD_ID_UNKNOWN ~((uint32_t)0) /* unsigned equivalent to -1 */
11 #define BOARD_ID_INIT ~((uint32_t)1) /* unsigned equivalent to -2 */
12 /**
13  * board_id() - Get the board version
14  *
15  * Return: board version on success, BOARD_ID_UNKNOWN on failure/error.
16  *
17  * This function is used to get the mainboard version.
18  */
19 uint32_t board_id(void); /* differentiates revisions */
20 uint32_t ram_code(void); /* identifies installed DRAM modules */
21 uint32_t sku_id(void); /* differentiates other optional components */
22 
23 #endif /* __INCLUDE_BOARDID_H__ */
uint32_t board_id(void)
board_id() - Get the board version
Definition: ec_boardid.c:6
uint32_t sku_id(void)
uint32_t ram_code(void)
unsigned int uint32_t
Definition: stdint.h:14