coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
pch.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef _SOC_PCH_H_
4 #define _SOC_PCH_H_
5 
6 #include <device/device.h>
7 
8 #if ENV_RAMSTAGE
9 void pch_disable_devfn(struct device *dev);
10 #endif
11 
12 void override_hpet_ioapic_bdf(void);
13 void pch_lock_dmictl(void);
14 
15 #endif /* _SOC_PCH_H_ */
pch_disable_devfn
void pch_disable_devfn(struct device *dev)
Definition: pch.c:77
pch_lock_dmictl
void pch_lock_dmictl(void)
Definition: pch.c:71
override_hpet_ioapic_bdf
void override_hpet_ioapic_bdf(void)
Definition: pch.c:54
device
Definition: device.h:107