![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <acpi/acpi.h>
Go to the source code of this file.
Functions | |
int | acpi_sci_irq (void) |
void | acpi_create_serialio_ssdt (acpi_header_t *ssdt) |
unsigned long | southcluster_write_acpi_tables (const struct device *device, unsigned long current, struct acpi_rsdp *rsdp) |
void acpi_create_serialio_ssdt | ( | acpi_header_t * | ssdt | ) |
int acpi_sci_irq | ( | void | ) |
Definition at line 56 of file acpi.c.
References ACTL, BIOS_DEBUG, ILB_BASE_ADDRESS, printk, read32(), SCIS_IRQ10, SCIS_IRQ11, SCIS_IRQ20, SCIS_IRQ21, SCIS_IRQ22, SCIS_IRQ23, SCIS_IRQ9, and SCIS_MASK.
Referenced by acpi_fill_fadt(), and acpi_madt_irq_overrides().