![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <string.h>
#include <console/console.h>
#include <acpi/acpi.h>
#include <device/device.h>
#include "mainboard.h"
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) |
|
static |
Definition at line 10 of file acpi_tables.c.
References ACPI_ADDRESS_SPACE_IO, acpi_checksum(), ACPI_TABLE_CREATOR, acpi_gen_regaddr::addrh, acpi_gen_regaddr::addrl, ASLC, acpi_gen_regaddr::bit_offset, acpi_gen_regaddr::bit_width, acpi_ecdt::ec_control, acpi_ecdt::ec_data, acpi_ecdt::ec_id, acpi_ecdt::gpe_bit, header, acpi_ecdt::header, memcpy(), memset(), OEM_ID, acpi_gen_regaddr::space_id, strlen(), and acpi_ecdt::uid.
Referenced by 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.