Searched refs:RISCV_EFI_BOOT_PROTOCOL_GUID (Results 1 – 1 of 1) sorted by relevance
32 #define RISCV_EFI_BOOT_PROTOCOL_GUID EFI_GUID(0xccd15fec, 0x6f73, 0x4eec, 0x83, 0x95, 0x3e, 0x69, … macro44 efi_guid_t boot_protocol_guid = RISCV_EFI_BOOT_PROTOCOL_GUID; in efi_get_boot_hartid()