Symbol: sbi_print_version
sys/arch/riscv64/include/sbi.h
264
void sbi_print_version(void);
sys/arch/riscv64/riscv64/machdep.c
266
sbi_print_version();