tables.h

Go to the documentation of this file.

#ifndef BOOT_TABLES_H
#define BOOT_TABLES_H
 
#include <stdint.h>
 
/*
 * Write architecture specific tables as well as the common
 * coreboot table.
 * Returns a pointer to the table or NULL on error.
 */
void *write_tables(void);
 
/*
 * Allow per-architecture table writes called from write_tables(). The
 * coreboot_table parameter provides a reference to where the coreboot
 * table will be written. The parameter is to allow architectures to
 * provide a forwarding table to real coreboot table.
 */
void arch_write_tables(uintptr_t coreboot_table);
 
#endif /* BOOT_TABLES_H */