Index: kernel/generic/src/printf/printf.c
===================================================================
--- kernel/generic/src/printf/printf.c	(revision 7f043c0d4fa344ed23d99c9baa9f11cdac734176)
+++ kernel/generic/src/printf/printf.c	(revision 72381f1eadd15dbb6d0bd416e144e6bc1bdb5ebf)
@@ -34,4 +34,5 @@
 
 #include <print.h>
+int printf(const char *fmt, ...);
 
 int printf(const char *fmt, ...)