Symbol: efi_get_boot_hart_id
sys/arch/riscv64/stand/efiboot/efiboot.c
544
hartid = efi_get_boot_hart_id();
sys/arch/riscv64/stand/efiboot/efiboot.h
32
int32_t efi_get_boot_hart_id(void);