coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
gpio.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef MAINBOARD_GPIO_H
4 #define MAINBOARD_GPIO_H
5 
6 #include <baseboard/gpio.h>
7 
8 /* EC sync irq is GPP_134_IRQ */
9 #define EC_SYNC_IRQ GPIO_134_IRQ
10 
11 #endif /* MAINBOARD_GPIO_H */