Searched refs:fdtdtb (Results 1 – 2 of 2) sorted by relevance
37 static EFI_GUID fdtdtb = FDT_TABLE_GUID; variable44 hdr = efi_get_table(&fdtdtb); in fdt_platform_load_dtb()
91 EFI_GUID fdtdtb = FDT_TABLE_GUID; variable