Symbol: sbi_init
sys/arch/riscv64/include/sbi.h
265
void sbi_init(void);
sys/arch/riscv64/riscv64/machdep.c
565
sbi_init();