Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 904b1bc3e43b98f81bec9e9296b154371c383776)
+++ kernel/generic/include/console/console.h	(revision 8404342b48813a0e0c8fa2a68e4778b511289304)
@@ -57,5 +57,5 @@
 extern outdev_t *stdout;
 
-extern void early_putchar(wchar_t);
+extern void early_putwchar(wchar_t);
 
 extern indev_t *stdin_wire(void);
Index: kernel/generic/include/putchar.h
===================================================================
--- kernel/generic/include/putchar.h	(revision 904b1bc3e43b98f81bec9e9296b154371c383776)
+++ kernel/generic/include/putchar.h	(revision 8404342b48813a0e0c8fa2a68e4778b511289304)
@@ -36,5 +36,7 @@
 #define KERN_PUTCHAR_H_
 
-extern void putchar(const wchar_t ch);
+#include <stddef.h>
+
+extern void putwchar(wchar_t);
 
 #endif