1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef BOOT_TABLES_H 4 #define BOOT_TABLES_H 5 6 #include <stdint.h> 7 8 /* 9 * Write architecture specific tables as well as the common 10 * coreboot table. 11 * Returns a pointer to the table or NULL on error. 12 */ 13 void *write_tables(void); 14 15 /* 16 * Allow per-architecture table writes called from write_tables(). The 17 * coreboot_table parameter provides a reference to where the coreboot 18 * table will be written. The parameter is to allow architectures to 19 * provide a forwarding table to real coreboot table. 20 */ 21 void arch_write_tables(uintptr_t coreboot_table); 22 23 #endif /* BOOT_TABLES_H */ 24