Index: kernel/generic/src/printf/vprintf.c
===================================================================
--- kernel/generic/src/printf/vprintf.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/generic/src/printf/vprintf.c	(revision 2057572a989f56acc5c906946caebf6b2e039bda)
@@ -37,11 +37,17 @@
 #include <putchar.h>
 
-int vprintf_write(const char *str, size_t count, void *unused);
+static int vprintf_write(const char *str, size_t count, void *unused)
+{
+	size_t i;
+	for (i = 0; i < count; i++)
+		putchar(str[i]);
+	return i;
+}
 
-int vprintf_write(const char *str, size_t count, void *unused)
+int puts(const char *s)
 {
-	size_t i = 0;
-	for (; i < count; i++)
-		putchar(str[i]);
+	size_t i;
+	for (i = 0; s[i] != 0; i++)
+		putchar(s[i]);
 	return i;
 }
@@ -49,5 +55,5 @@
 int vprintf(const char *fmt, va_list ap)
 {
-	struct printf_spec ps = {(int(*)(void *, size_t, void *))vprintf_write, NULL};
+	struct printf_spec ps = {(int(*)(void *, size_t, void *)) vprintf_write, NULL};
 	return printf_core(fmt, &ps, ap);