Index: kernel/generic/include/printf/printf_core.h
===================================================================
--- kernel/generic/include/printf/printf_core.h	(revision 6ab8697dc506650b8712d1dc5e817cc473bf170a)
+++ kernel/generic/include/printf/printf_core.h	(revision d69f959d2337abd30f567ea2dd4e53e341f79af1)
@@ -51,5 +51,5 @@
 } printf_spec_t;
 
-int printf_core(const char *fmt, printf_spec_t *ps, va_list ap);
+extern int printf_core(const char *fmt, printf_spec_t *ps, va_list ap);
 
 #endif