HTIF_CONSOLE_PUTC 46 boot/arch/riscv64/include/arch/ucb.h #define HTIF_CONSOLE_PUTC 1 HTIF_CONSOLE_PUTC 38 kernel/arch/riscv64/src/drivers/ucb.c #define HTIF_CONSOLE_PUTC 1