HelenOS sources

htif_cmd           45 boot/arch/riscv64/src/ucb.c void htif_cmd(uint8_t device, uint8_t cmd, uint64_t payload)
htif_cmd           75 kernel/arch/riscv64/src/drivers/ucb.c static void htif_cmd(uint8_t device, uint8_t cmd, uint64_t payload)