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
303 fdt_pointer = efi_fdt_pointer(); in fdt_setup()