Searched refs:efi_guid_fdt (Results 1 – 3 of 3) sorted by relevance
194 ret = efi_install_configuration_table(&efi_guid_fdt, fdt); in efi_install_fdt()422 efi_install_configuration_table(&efi_guid_fdt, NULL); in do_bootefi()
136 extern const efi_guid_t efi_guid_fdt;
51 const efi_guid_t efi_guid_fdt = EFI_FDT_GUID; variable