HTIF_DEVICE_CONSOLE 44 boot/arch/riscv64/include/arch/ucb.h #define HTIF_DEVICE_CONSOLE 1 HTIF_DEVICE_CONSOLE 36 kernel/arch/riscv64/src/drivers/ucb.c #define HTIF_DEVICE_CONSOLE 1