coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
irq.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 
3 #ifndef _SOC_IRQ_H_
4 #define _SOC_IRQ_H_
5 
6 #define PCH_IRQ10 10
7 #define PCH_IRQ11 11
8 #define PCH_IRQ14 14
9 
10 #endif /* _SOC_IRQ_H_ */