HelenOS sources

HTIF_CONSOLE_PUTC   38 boot/arch/riscv64/src/putchar.c 		htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, ch);
HTIF_CONSOLE_PUTC   40 boot/arch/riscv64/src/putchar.c 		htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, '?');
HTIF_CONSOLE_PUTC   90 kernel/arch/riscv64/src/drivers/ucb.c 		htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, ch);
HTIF_CONSOLE_PUTC   92 kernel/arch/riscv64/src/drivers/ucb.c 		htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, U_SPECIAL);