Searched refs:efi_fdt_pointer (Results 1 – 3 of 3) sorted by relevance
12 void __init *efi_fdt_pointer(void);
41 void __init *efi_fdt_pointer(void) in efi_fdt_pointer() function
289 fdt_pointer = efi_fdt_pointer(); /* Fallback to firmware dtb */ in fdt_setup()