Searched refs:fdt_guid (Results 1 – 1 of 1) sorted by relevance
135 const efi_guid_t fdt_guid = EFI_FDT_GUID; in do_bootefi_exec() local161 efi_install_configuration_table(&fdt_guid, fdt); in do_bootefi_exec()174 efi_install_configuration_table(&fdt_guid, NULL); in do_bootefi_exec()