src/include/boot/tables.h

   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 */