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

Go to the source code of this file.

Functions

static long acpi_create_ecdt (acpi_ecdt_t *ecdt)
 
unsigned long mainboard_write_acpi_tables (const struct device *device, unsigned long start, acpi_rsdp_t *rsdp)
 

Function Documentation

◆ acpi_create_ecdt()

◆ mainboard_write_acpi_tables()

unsigned long mainboard_write_acpi_tables ( const struct device device,
unsigned long  start,
acpi_rsdp_t rsdp 
)

Definition at line 56 of file acpi_tables.c.

References acpi_add_table(), acpi_align_current(), acpi_create_ecdt(), BIOS_DEBUG, and printk.

Here is the call graph for this function: