Symbol: SBI_CONSOLE_PUTCHAR
sys/arch/riscv64/include/sbi.h
196
(void)SBI_CALL1(SBI_CONSOLE_PUTCHAR, 0, ch);
sys/arch/riscv64/riscv64/sbi.c
171
KASSERTMSG(sbi_probe_extension(SBI_CONSOLE_PUTCHAR) != 0,