Searched refs:get_fdt (Results 1 – 3 of 3) sorted by relevance
40 void *get_fdt(efi_system_table_t *sys_table);
326 void *get_fdt(efi_system_table_t *sys_table) in get_fdt() function
255 fdt_addr = (uintptr_t)get_fdt(sys_table); in efi_entry()