Symbol: SBI_RESET_REASON_NONE
sys/arch/riscv/riscv/riscv_machdep.c
450
SBI_RESET_REASON_NONE);
sys/arch/riscv/riscv/riscv_machdep.c
466
sbi_system_reset(SBI_RESET_TYPE_COLDREBOOT, SBI_RESET_REASON_NONE);