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 bootmem_add_range((uintptr_t)_ttb, REGION_SIZE(ttb), BM_MEM_RAMSTAGE); 15 bootmem_add_range((uintptr_t)_ttb_subtables, REGION_SIZE(ttb_subtables), 16 BM_MEM_RAMSTAGE); 17 18 if (!CONFIG(COMMON_CBFS_SPI_WRAPPER)) 19 return; 20 bootmem_add_range((uintptr_t)_postram_cbfs_cache, 21 REGION_SIZE(postram_cbfs_cache), BM_MEM_RAMSTAGE); 22 } 23 lb_arch_add_records(struct lb_header * header)24void lb_arch_add_records(struct lb_header *header) 25 { 26 } 27