Symbol: sbi_system_reset
sys/riscv/include/sbi.h
223
void sbi_system_reset(u_long reset_type, u_long reset_reason);
sys/riscv/riscv/sbi.c
104
sbi_system_reset(SBI_SRST_TYPE_SHUTDOWN, SBI_SRST_REASON_NONE);
sys/riscv/riscv/vm_machdep.c
144
sbi_system_reset(SBI_SRST_TYPE_COLD_REBOOT, SBI_SRST_REASON_NONE);