Searched defs:arch_write_tables (Results 1 – 6 of 6) sorted by relevance
8 void arch_write_tables(uintptr_t coreboot_table) in arch_write_tables() function
7 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