1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <boot/tables.h>
5 #include <boot/coreboot_tables.h>
8 void arch_write_tables(uintptr_t coreboot_table
)
12 void bootmem_arch_add_ranges(void)
14 if (CONFIG(RISCV_OPENSBI
) && REGION_SIZE(opensbi
) > 0)
15 bootmem_add_range((uintptr_t)_opensbi
, REGION_SIZE(opensbi
),
19 void lb_arch_add_records(struct lb_header
*header
)