HelenOS sources

htif_init          42 kernel/arch/riscv64/include/arch/drivers/ucb.h extern void htif_init(volatile uint64_t *, volatile uint64_t *);
htif_init          72 kernel/arch/riscv64/src/riscv64.c 	htif_init(bootinfo->ucbinfo.tohost, bootinfo->ucbinfo.fromhost);