![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <stdint.h>
Go to the source code of this file.
Functions | |
void * | write_tables (void) |
void | arch_write_tables (uintptr_t coreboot_table) |
Definition at line 8 of file tables.c.
References ALIGN_UP, CONFIG, forwarding_table, KiB, void(), write_acpi_table(), write_coreboot_forwarding_table(), write_mptable(), write_pirq_table(), and write_smbios_table().
Referenced by write_tables().
Definition at line 542 of file coreboot_table.c.
References arch_write_tables(), BIOS_DEBUG, BIOS_ERR, cbmem_add(), CBMEM_ID_CBTABLE, cbmem_list(), COREBOOT_TABLE_SIZE, NULL, printk, and write_coreboot_table().
Referenced by bs_write_tables().