Searched refs:coreboot_table_setup (Results 1 – 3 of 3) sorted by relevance
23 coreboot_table_setup((void *)(uintptr_t) in bl_aux_params_parse()
43 void coreboot_table_setup(void *base);
111 void coreboot_table_setup(void *base) in coreboot_table_setup() function