#include <xen/hypercall.h> /* for do_console_io */
#include <xen/early_printk.h>
#include <xen/warning.h>
+#include <xen/pv_console.h>
#ifdef CONFIG_X86
#include <xen/consoled.h>
-#include <xen/pv_console.h>
#include <asm/guest.h>
#endif
else
serial_puts(sercon_handle, s);
-#ifdef CONFIG_X86
/* Copy all serial output into PV console */
pv_console_puts(s);
-#endif
}
static void dump_console_ring_key(unsigned char key)
p++;
if ( !strncmp(p, "vga", 3) )
video_init();
-#ifdef CONFIG_X86
- else if ( !strncmp(p, "pv", 2) )
+ else if ( !strncmp(p, "pv", 2) )
pv_console_init();
+#ifdef CONFIG_X86
else if ( !strncmp(p, "xen", 3) )
opt_console_xen = true;
#endif
}
serial_set_rx_handler(sercon_handle, serial_rx);
-
-#ifdef CONFIG_X86
pv_console_set_rx_handler(serial_rx);
-#endif
/* HELLO WORLD --- start-of-day banner text. */
spin_lock(&console_lock);
void __init console_init_postirq(void)
{
serial_init_postirq();
-
-#ifdef CONFIG_X86
pv_console_init_postirq();
-#endif
if ( conring != _conring )
return;