Searched refs:DEVICE_TREE_GUID (Results 1 – 3 of 3) sorted by relevance
35 fdt = get_efi_config_table(DEVICE_TREE_GUID); in get_boot_hartid_from_fdt()
368 fdt = get_efi_config_table(DEVICE_TREE_GUID); in get_fdt()
380 #define DEVICE_TREE_GUID EFI_GUID(0xb1b621d5, 0xf19c, 0x41a5, 0x83, 0x0b, 0xd9, 0x15, 0x2c, 0x69… macro