Symbol: sbi_print_version
sys/riscv/include/sbi.h
244
void sbi_print_version(void);
sys/riscv/riscv/machdep.c
130
sbi_print_version();