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   71 kernel/arch/riscv64/src/drivers/ucb.c 			htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, '\r');
HTIF_DEVICE_CONSOLE   73 kernel/arch/riscv64/src/drivers/ucb.c 		htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, (uint8_t) *s);