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 _SOC_ACPI_H_
4 #define _SOC_ACPI_H_
5 
6 #include <acpi/acpi.h>
7 
8 int acpi_sci_irq(void);
9 void acpi_create_serialio_ssdt(acpi_header_t *ssdt);
10 unsigned long southcluster_write_acpi_tables(const struct device *device,
11  unsigned long current, struct acpi_rsdp *rsdp);
12 
13 #endif /* _SOC_ACPI_H_ */
acpi_sci_irq
int acpi_sci_irq(void)
Definition: acpi.c:56
acpi_create_serialio_ssdt
void acpi_create_serialio_ssdt(acpi_header_t *ssdt)
Definition: acpi.c:371
southcluster_write_acpi_tables
unsigned long southcluster_write_acpi_tables(const struct device *device, unsigned long current, struct acpi_rsdp *rsdp)
Definition: acpi.c:342
acpi_rsdp
Definition: acpi.h:82
acpi_table_header
Definition: acpi.h:154
device
Definition: device.h:107