coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
mainboard.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 struct acpi_rsdp;
4 
5 unsigned long mainboard_write_acpi_tables(const struct device *device,
6  unsigned long start,
7  struct acpi_rsdp *rsdp);
unsigned long mainboard_write_acpi_tables(const struct device *device, unsigned long start, struct acpi_rsdp *rsdp)
Definition: acpi_tables.c:56
Definition: acpi.h:82
Definition: device.h:107