coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
acpi.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef _BAYTRAIL_ACPI_H_
4 #define _BAYTRAIL_ACPI_H_
5 
6 #include <acpi/acpi.h>
7 
8 int acpi_sci_irq(void);
9 unsigned long acpi_madt_irq_overrides(unsigned long current);
10 
11 #endif /* _BAYTRAIL_ACPI_H_ */
acpi_sci_irq
int acpi_sci_irq(void)
Definition: acpi.c:56
acpi_madt_irq_overrides
unsigned long acpi_madt_irq_overrides(unsigned long current)
Definition: acpi.c:294