/trunk/kernel/arch/ia32xen/src/drivers/xconsole.c |
---|
55,9 → 55,8 |
stdout = &xen_console; |
} |
void xen_putchar(chardev_t *d, const char ch, bool silent) |
void xen_putchar(chardev_t *d, const char ch) |
{ |
if (!silent) { |
if (start_info.console.domU.evtchn != 0) { |
uint32_t cons = console_page.out_cons; |
uint32_t prod = console_page.out_prod; |
79,7 → 78,6 |
} else |
xen_console_io(CONSOLE_IO_WRITE, 1, &ch); |
} |
} |
/** @} |
*/ |