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           90 kernel/arch/riscv64/src/drivers/ucb.c 		htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, ch);
htif_cmd           92 kernel/arch/riscv64/src/drivers/ucb.c 		htif_cmd(HTIF_DEVICE_CONSOLE, HTIF_CONSOLE_PUTC, U_SPECIAL);