Searched refs:RISCV_EFI_BOOT_PROTOCOL_GUID (Results 1 – 2 of 2) sorted by relevance
59 efi_guid_t boot_protocol_guid = RISCV_EFI_BOOT_PROTOCOL_GUID; in get_boot_hartid_from_efi()
420 #define RISCV_EFI_BOOT_PROTOCOL_GUID EFI_GUID(0xccd15fec, 0x6f73, 0x4eec, 0x83, 0x95, 0x3e, 0x69,… macro
