replace printf() with console log, level 5 aka INFO messages

Replace the libc printf implementation with a wrapper that does
fancy log things such as display timestamp and the log level.

Signed-off-by: Stewart Smith <stewart@linux.vnet.ibm.com>
Signed-off-by: Benjamin Herrenschmidt <benh@kernel.crashing.org>

1 files changed, 12 insertions, 0 deletions

diff --git a/core/console-log.c b/core/console-log.c
index 04f2cdd0..6a70e577 100644
--- a/core/console-log.c
+++ b/core/console-log.c
@@ -52,3 +52,15 @@ void prlog(int log_level, const char* fmt, ...)
 	vprlog(log_level, fmt, ap);
 	va_end(ap);
 }
+
+int printf(const char* fmt, ...)
+{
+	int count;
+	va_list ap;
+    
+	va_start(ap, fmt);
+	count = vprlog(PR_PRINTF, fmt, ap);
+	va_end(ap);
+    
+	return count;
+}