riscv_efi_boot_protocol
efi_status_t (__efiapi *get_boot_hartid)(struct riscv_efi_boot_protocol *,
struct riscv_efi_boot_protocol *boot_protocol;