htifout_init 43 kernel/arch/riscv64/include/arch/drivers/ucb.h extern outdev_t *htifout_init(void); htifout_init 96 kernel/arch/riscv64/src/riscv64.c outdev_t *htifout = htifout_init();