Searched refs:arch_write_tables (Results 1 – 8 of 8) sorted by relevance
21 void arch_write_tables(uintptr_t coreboot_table);
7 void arch_write_tables(uintptr_t coreboot_table) in arch_write_tables() function
8 void arch_write_tables(uintptr_t coreboot_table) in arch_write_tables() function
51 void arch_write_tables(uintptr_t coreboot_table) in arch_write_tables() function
192 void arch_write_tables(uintptr_t coreboot_table) in arch_write_tables() function
189 void arch_write_tables(uintptr_t coreboot_table) in arch_write_tables() function
581 arch_write_tables(cbtable_start); in write_tables()