Symbol: SBI_SRST_TYPE_SHUTDOWN
sys/riscv/riscv/sbi.c
104
sbi_system_reset(SBI_SRST_TYPE_SHUTDOWN, SBI_SRST_REASON_NONE);
usr.sbin/bhyve/riscv/vmexit.c
292
case SBI_SRST_TYPE_SHUTDOWN: