Symbol: sbi_hsm_hart_stop
sys/riscv/include/sbi.h
202
void sbi_hsm_hart_stop(void);
sys/riscv/riscv/machdep.c
199
sbi_hsm_hart_stop();