Symbol: SBI_HSM_HART_STOP
sys/riscv/riscv/sbi.c
275
(void)SBI_CALL0(SBI_EXT_ID_HSM, SBI_HSM_HART_STOP);
usr.sbin/bhyve/riscv/vmexit.c
218
case SBI_HSM_HART_STOP: