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 arch_write_tables(uintptr_t coreboot_table)7void arch_write_tables(uintptr_t coreboot_table) 8 { 9 } 10 bootmem_arch_add_ranges(void)11void bootmem_arch_add_ranges(void) 12 { 13 } 14 lb_arch_add_records(struct lb_header * header)15void lb_arch_add_records(struct lb_header *header) 16 { 17 } 18