Symbol: SBI_SRST_SYSTEM_RESET
sys/riscv/riscv/sbi.c
112
(void)SBI_CALL2(SBI_EXT_ID_SRST, SBI_SRST_SYSTEM_RESET,
usr.sbin/bhyve/riscv/vmexit.c
290
case SBI_SRST_SYSTEM_RESET: