1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <bootmem.h> 4 #include <boot/tables.h> 5 #include <boot/coreboot_tables.h> 6 #include <symbols.h> 7 arch_write_tables(uintptr_t coreboot_table)8void arch_write_tables(uintptr_t coreboot_table) 9 { 10 } 11 bootmem_arch_add_ranges(void)12void bootmem_arch_add_ranges(void) 13 { 14 if (CONFIG(RISCV_OPENSBI) && REGION_SIZE(opensbi) > 0) 15 bootmem_add_range((uintptr_t)_opensbi, REGION_SIZE(opensbi), 16 BM_MEM_OPENSBI); 17 } 18 lb_arch_add_records(struct lb_header * header)19void lb_arch_add_records(struct lb_header *header) 20 { 21 } 22