tables.c

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0-only */
 
#include <bootmem.h>
#include <boot/tables.h>
#include <boot/coreboot_tables.h>
#include <symbols.h>
 
void arch_write_tables(uintptr_t coreboot_table)
{
}
 
void bootmem_arch_add_ranges(void)
{
        if (CONFIG(RISCV_OPENSBI) && REGION_SIZE(opensbi) > 0)
                bootmem_add_range((uintptr_t)_opensbi, REGION_SIZE(opensbi),
                                  BM_MEM_OPENSBI);
}
 
void lb_arch_add_records(struct lb_header *header)
{
}