Searched refs:fdt_pointer (Results 1 – 2 of 2) sorted by relevance
32 static unsigned long __initdata fdt_pointer = EFI_INVALID_TABLE_ADDR; variable37 {DEVICE_TREE_GUID, &fdt_pointer, "FDTPTR" },46 if (fdt_pointer == EFI_INVALID_TABLE_ADDR) in efi_fdt_pointer()49 return early_memremap_ro(fdt_pointer, SZ_64K); in efi_fdt_pointer()
279 void *fdt_pointer; in fdt_setup() local287 fdt_pointer = __dtb_start; in fdt_setup()289 fdt_pointer = efi_fdt_pointer(); /* Fallback to firmware dtb */ in fdt_setup()291 if (!fdt_pointer || fdt_check_header(fdt_pointer)) in fdt_setup()294 early_init_dt_scan(fdt_pointer); in fdt_setup()