From: Antti Kantee <pooka@iki.fi>
Date: Wed, 15 Apr 2015 08:38:52 +0000 (+0000)
Subject: stdio.h is no longer required here
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=cc711b0aaf64fc1a8d424f8356cbc0eecef7314d;p=people%2Fliuw%2Frumprun.git

stdio.h is no longer required here
---

diff --git a/platform/xen/rumphyper_base.c b/platform/xen/rumphyper_base.c
index 8436e64..5006a8f 100644
--- a/platform/xen/rumphyper_base.c
+++ b/platform/xen/rumphyper_base.c
@@ -29,8 +29,6 @@
 
 #include <xen/io/console.h>
 
-#include <stdio.h>
-
 #include <bmk-core/errno.h>
 #include <bmk-core/memalloc.h>
 #include <bmk-core/sched.h>
diff --git a/platform/xen/rumphyper_bio.c b/platform/xen/rumphyper_bio.c
index c20e437..44841c0 100644
--- a/platform/xen/rumphyper_bio.c
+++ b/platform/xen/rumphyper_bio.c
@@ -30,10 +30,9 @@
 #include <mini-os/blkfront.h>
 #include <mini-os/mm.h>
 
-#include <stdio.h>
-
 #include <bmk-core/errno.h>
 #include <bmk-core/memalloc.h>
+#include <bmk-core/printf.h>
 #include <bmk-core/sched.h>
 #include <bmk-core/string.h>
 
@@ -73,7 +72,7 @@ devopen(int num)
 		return 1;
 	}
 
-	snprintf(buf, sizeof(buf), "device/vbd/%d", devnum);
+	bmk_snprintf(buf, sizeof(buf), "device/vbd/%d", devnum);
 
 	rumpkern_unsched(&nlocks, NULL);
 	blkdevs[num] = blkfront_init(buf, &blkinfos[num]);