coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
tables.c
Go to the documentation of this file.
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 
8 void arch_write_tables(uintptr_t coreboot_table)
9 {
10 }
11 
13 {
15  bootmem_add_range((uintptr_t)_ttb_subtables, REGION_SIZE(ttb_subtables),
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 
25 {
26 }
struct arm64_kernel_header header
Definition: fit_payload.c:30
void arch_write_tables(uintptr_t coreboot_table)
Definition: tables.c:8
void bootmem_arch_add_ranges(void)
Definition: tables.c:12
void lb_arch_add_records(struct lb_header *header)
Definition: tables.c:24
@ BM_MEM_RAMSTAGE
Definition: bootmem.h:34
void bootmem_add_range(uint64_t start, uint64_t size, const enum bootmem_type tag)
Definition: bootmem.c:88
@ CONFIG
Definition: dsi_common.h:201
#define REGION_SIZE(name)
Definition: symbols.h:10
unsigned long uintptr_t
Definition: stdint.h:21