write to the console the standard way

diff --git a/platform/xen/xen/console/console.c b/platform/xen/xen/console/console.c
index 86b51275139052287fa9b9ee73fdd2fd1259d5fe..4039a0d5b3af35712744e55015638783a1ab16da 100644 (file)
--- a/platform/xen/xen/console/console.c
+++ b/platform/xen/xen/console/console.c
@@ -147,9 +147,8 @@ void print(int direct, const char *fmt, va_list args)
 /* XXX: should use a putc/flush combo ... later */
 static void minios_putc(int c)
 {
-    char cc = c;
 
-    (void)HYPERVISOR_console_io(CONSOLEIO_write, 1, &cc);
+    minios_printk("%c", c);
 }
 
 void minios_printk(const char *fmt, ...)