Index: kernel/generic/include/print.h
===================================================================
--- kernel/generic/include/print.h	(revision bd01a4e2eea1f1c2d0ae1323bcebe495b503e8a1)
+++ kernel/generic/include/print.h	(revision 6c39a9074d1bf9a23bf5243a2c35b2a8549f41d3)
@@ -39,5 +39,5 @@
 #include <stdarg.h>
 
-#define EOF (-1)
+#define EOF  (-1)
 
 extern int puts(const char *s);
Index: kernel/generic/include/printf/printf_core.h
===================================================================
--- kernel/generic/include/printf/printf_core.h	(revision bd01a4e2eea1f1c2d0ae1323bcebe495b503e8a1)
+++ kernel/generic/include/printf/printf_core.h	(revision 6c39a9074d1bf9a23bf5243a2c35b2a8549f41d3)
@@ -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