Searched refs:get_fdt (Results 1 – 3 of 3) sorted by relevance
40 void *get_fdt(efi_system_table_t *sys_table, unsigned long *fdt_size);
317 void *get_fdt(efi_system_table_t *sys_table, unsigned long *fdt_size) in get_fdt() function
255 fdt_addr = (uintptr_t)get_fdt(sys_table, &fdt_size); in efi_entry()