coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
mainboard.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 
3 /*
4  * "The way things are connected" and a few setup options
5  */
6 
7 #ifndef _MAINBOARD_HP_PAVILION_M6_1035DX_MAINBOARD_H
8 #define _MAINBOARD_HP_PAVILION_M6_1035DX_MAINBOARD_H
9 
10 /* What is connected to GEVENT pins */
11 #define EC_SCI_GEVENT 3
12 #define EC_LID_GEVENT 22
13 #define EC_SMI_GEVENT 23
14 #define PCIE_GEVENT 8
15 
16 /* Any GEVENT pin can be mapped to any GPE. We try to keep the mapping 1:1, but
17  * we make the distinction between GEVENT pin and SCI.
18  */
19 #define EC_SCI_GPE EC_SCI_GEVENT
20 #define EC_LID_GPE EC_LID_GEVENT
21 #define PME_GPE 0x0b
22 #define PCIE_GPE 0x18
23 
24 #endif /* _MAINBOARD_HP_PAVILION_M6_1035DX_MAINBOARD_H */