Index: kernel/arch/riscv64/include/arch/drivers/ucb.h
===================================================================
--- kernel/arch/riscv64/include/arch/drivers/ucb.h	(revision 128359ebc085c950da1f7e34c3928f12654b438f)
+++ kernel/arch/riscv64/include/arch/drivers/ucb.h	(revision edb57bc6e15358d5e60d694a899002cba9f8acd0)
@@ -42,5 +42,5 @@
 extern void htif_init(volatile uint64_t *, volatile uint64_t *);
 extern outdev_t *htifout_init(void);
-extern void htif_putwchar(outdev_t *, const wchar_t);
+extern void htif_putuchar(outdev_t *, const char32_t);
 
 #endif