/* SPDX-License-Identifier: GPL-2.0-only */ | |
/* This file is part of the coreboot project. */ | |
#include <bootmem.h> | |
#include <boot/tables.h> | |
#include <boot/coreboot_tables.h> | |
void arch_write_tables(uintptr_t coreboot_table) | |
{ | |
} | |
void bootmem_arch_add_ranges(void) | |
{ | |
} | |
void lb_arch_add_records(struct lb_header *header) | |
{ | |
} |