Symbol: SBI_CONSOLE_GETCHAR
sys/arch/riscv64/include/sbi.h
207
return (SBI_CALL0(SBI_CONSOLE_GETCHAR, 0).error);
sys/arch/riscv64/riscv64/sbi.c
173
KASSERTMSG(sbi_probe_extension(SBI_CONSOLE_GETCHAR) != 0,