Searched refs:DEVICE_TREE_GUID (Results 1 – 4 of 4) sorted by relevance
| /linux/drivers/firmware/efi/libstub/ |
| H A D | riscv.c | 24 fdt = get_efi_config_table(DEVICE_TREE_GUID); in get_boot_hartid_from_fdt()
|
| H A D | fdt.c | 368 fdt = get_efi_config_table(DEVICE_TREE_GUID); in get_fdt()
|
| /linux/arch/loongarch/kernel/ |
| H A D | efi.c | 37 {DEVICE_TREE_GUID, &fdt_pointer, "FDTPTR" },
|
| /linux/include/linux/ |
| H A D | efi.h | 380 #define DEVICE_TREE_GUID EFI_GUID(0xb1b621d5, 0xf19c, 0x41a5, 0x83, 0x0b, 0xd9, 0x15, 0x2c, 0x69… macro
|