coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
board_id.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef _MAINBOARD_BOARD_ID_H_
4 #define _MAINBOARD_BOARD_ID_H_
5 
6 #include <stdint.h>
7 
8 /* Mobile Board Id 0x00 - 0xFF */
9 #define BOARD_ID_SKL_A0_RVP3 0x04
10 #define BOARD_ID_SKL_RVP7 0x0B
11 #define BOARD_ID_KBL_RVP8 0x42
12 #define BOARD_ID_KBL_RVP11 0x44
13 
14 /* 60-6F reserved for KBL RVPs */
15 #define BOARD_ID_KBL_LPDDR3_RVP3 0x60
16 #define BOARD_ID_KBL_LPDDR3_RVP7 0x64
17 
18 /* Board/FAB ID Command */
19 #define EC_FAB_ID_CMD 0x0D
20 
21 /*
22  * Returns board information (board id[15:8] and
23  * Fab info[7:0]) on success and < 0 on error
24  */
25 int get_ec_boardinfo(void);
26 
27 /* Return spd index */
29 
30 /* Board id[15:8] */
31 int get_board_id(void);
32 
33 #endif /* _MAINBOARD_BOARD_ID_H_ */
int get_board_id(void)
Definition: board_id.c:20
int get_ec_boardinfo(void)
Definition: board_id.c:10
int get_spd_index(u8 *spd_index)
Definition: board_id.c:26
static const int spd_index[32]
Definition: memory.c:10
uint8_t u8
Definition: stdint.h:45