Searched refs:forwarding_table (Results 1 – 1 of 1) sorted by relevance
190 static uintptr_t forwarding_table = FORWARDING_TABLE_ADDR; variable211 sz = write_coreboot_forwarding_table(forwarding_table, coreboot_table); in arch_write_tables()213 forwarding_table += sz; in arch_write_tables()215 forwarding_table = ALIGN_UP(forwarding_table, 4*KiB); in arch_write_tables()226 bootmem_add_range(base, forwarding_table - base, BM_MEM_TABLE); in bootmem_arch_add_ranges()