blob: 74cc4e1de1cb570e144fc5dc796646e5ff1c4688 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
/* SPDX-License-Identifier: GPL-2.0-only */
#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 */
|
