Searched refs:fdt_guid (Results 1 – 3 of 3) sorted by relevance
483 static EFI_GUID fdt_guid = FDT_TABLE_GUID; variable503 if (efi_guidcmp(&fdt_guid, in efi_makebootargs()
61 static EFI_GUID fdt_guid = FDT_TABLE_GUID; variable101 if (efi_guidcmp(&fdt_guid, in efi_main()
67 static EFI_GUID fdt_guid = FDT_TABLE_GUID; variable111 if (efi_guidcmp(&fdt_guid, in efi_main()