From: Antti Kantee <pooka@iki.fi>
Date: Wed, 15 Apr 2015 09:13:54 +0000 (+0000)
Subject: use stdio where appropriate
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=6461365e0c149d2f55ac1af875eff40aee80edc5;p=people%2Fliuw%2Frumprun.git

use stdio where appropriate

oh the irony, stdio used where it shouldn't be and not used where
it should be ...
---

diff --git a/platform/xen/lib/libc_stubs.c b/platform/xen/lib/libc_stubs.c
index 641863c..008af34 100644
--- a/platform/xen/lib/libc_stubs.c
+++ b/platform/xen/lib/libc_stubs.c
@@ -1,13 +1,12 @@
-#include <mini-os/console.h>
-
 #include <errno.h>
+#include <stdio.h>
 
 #define STUB(name)				\
   int name(void); int name(void) {		\
 	static int done = 0;			\
 	errno = ENOTSUP;			\
 	if (done) return ENOTSUP; done = 1;	\
-	minios_printk("STUB ``%s'' called\n", #name);	\
+	printf("STUB ``%s'' called\n", #name);	\
 	return ENOTSUP;}
 
 STUB(__sigaction14);