HelenOS sources

htif_cmd           48 boot/arch/riscv64/include/arch/ucb.h extern void htif_cmd(uint8_t device, uint8_t cmd, uint64_t payload);
htif_cmd           38 boot/arch/riscv64/src/putchar.c 		htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, ch);
htif_cmd           40 boot/arch/riscv64/src/putchar.c 		htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, '?');
htif_cmd           71 kernel/arch/riscv64/src/drivers/ucb.c 			htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, '\r');
htif_cmd           73 kernel/arch/riscv64/src/drivers/ucb.c 		htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, (uint8_t) *s);