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

Go to the source code of this file.

Functions

unsigned long acpi_fill_madt (unsigned long current)
 

Function Documentation

◆ acpi_fill_madt()

unsigned long acpi_fill_madt ( unsigned long  current)

Definition at line 5 of file acpi_tables.c.