Symbol: SBI_SRST_TYPE_COLD_REBOOT
sys/riscv/riscv/vm_machdep.c
135
sbi_system_reset(SBI_SRST_TYPE_COLD_REBOOT, SBI_SRST_REASON_NONE);
usr.sbin/bhyve/riscv/vmexit.c
293
case SBI_SRST_TYPE_COLD_REBOOT: