HelenOS sources

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