| /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); |
| } |
| } |
| /** @} |
| */ |