Use bmk_printf instead of minios_printk.

Plus minor formatting in the call to printf (so minor it doesn't
deserve a separate commit)

diff --git a/platform/xen/rumphyper_base.c b/platform/xen/rumphyper_base.c
index 36729d44b947118508c8339760f60d3a8a520921..15d7941dc395f25d5fdcc7f0081d7baebe04018e 100644 (file)
--- a/platform/xen/rumphyper_base.c
+++ b/platform/xen/rumphyper_base.c
@@ -27,11 +27,10 @@
 #include <mini-os/console.h>
 #include <mini-os/time.h>
 
-#include <xen/io/console.h>
-
 #include <bmk-core/core.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>
 
@@ -62,10 +61,9 @@ rumpuser_getparam(const char *name, void *buf, size_t buflen)
                /* use up to 50% memory for rump kernel */
                memsize = bmk_platform_memsize() / 2;
                if (memsize < (8 * 1024 * 1024)) {
-                       minios_printk("rumphyper: warning: low on physical "
-                                     "memory (%llu bytes), "
-                                     "suggest increasing domU allocation\n",
-                                     memsize);
+                       bmk_printf("rumphyper: warning: low on physical "
+                           "memory (%llu bytes), "
+                           "suggest increasing domU allocation\n", memsize);
                        memsize = 8 * 1024 * 1024;
                }