![]() |
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 | |
void | acpi_create_serialio_ssdt (acpi_header_t *ssdt) |
unsigned long | acpi_madt_irq_overrides (unsigned long current) |
unsigned long | southcluster_write_acpi_tables (const struct device *device, unsigned long current, struct acpi_rsdp *rsdp) |
unsigned long | systemagent_write_acpi_tables (const struct device *dev, unsigned long start, struct acpi_rsdp *const rsdp) |
void acpi_create_serialio_ssdt | ( | acpi_header_t * | ssdt | ) |
Definition at line 294 of file acpi.c.
References acpi_create_madt_irqoverride(), acpi_sci_irq(), MP_IRQ_POLARITY_HIGH, MP_IRQ_POLARITY_LOW, and MP_IRQ_TRIGGER_LEVEL.
Referenced by acpi_fill_madt().
unsigned long southcluster_write_acpi_tables | ( | const struct device * | device, |
unsigned long | current, | ||
struct acpi_rsdp * | rsdp | ||
) |
Definition at line 342 of file acpi.c.
References acpi_add_table(), acpi_align_current(), acpi_create_serialio_ssdt(), acpi_write_hpet(), ALIGN, BIOS_DEBUG, CONFIG, acpi_table_header::length, memset(), NULL, and printk.
unsigned long systemagent_write_acpi_tables | ( | const struct device * | dev, |
unsigned long | start, | ||
struct acpi_rsdp *const | rsdp | ||
) |
Definition at line 210 of file acpi.c.
References acpi_add_table(), acpi_align_current(), acpi_create_dmar(), acpi_fill_dmar(), BIOS_DEBUG, CAPID0_A, DMAR_INTR_REMAP, acpi_dmar::header, acpi_table_header::length, pci_read_config32(), printk, and VTD_DISABLE.