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