coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
acpi.h File Reference
#include <acpi/acpi.h>
Include dependency graph for acpi.h:

Go to the source code of this file.

Functions

int acpi_sci_irq (void)
 
unsigned long acpi_madt_irq_overrides (unsigned long current)
 

Function Documentation

◆ acpi_madt_irq_overrides()

unsigned long acpi_madt_irq_overrides ( unsigned long  current)

Definition at line 294 of file acpi.c.

◆ acpi_sci_irq()

int acpi_sci_irq ( void  )

Definition at line 56 of file acpi.c.