stdio.h is no longer required here

diff --git a/platform/xen/rumphyper_base.c b/platform/xen/rumphyper_base.c
index 8436e64f1438cd328a76ade59964607e514d6f34..5006a8f09533581b8ddc914c81b3acdc4438295a 100644 (file)
--- 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 c20e437710eaec1e02269e87a55c2e8ad36d79a6..44841c0d71330d09aafb5dabe7d732c182b71bae 100644 (file)
--- 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]);