domU_write_console  155 drivers/tty/hvc/hvc_xen.c 	.put_chars = domU_write_console,
domU_write_console  634 drivers/tty/hvc/hvc_xen.c 	domU_write_console(0, "(early) ", 8);
domU_write_console  639 drivers/tty/hvc/hvc_xen.c 		domU_write_console(0, string+off, linelen);
domU_write_console  640 drivers/tty/hvc/hvc_xen.c 		domU_write_console(0, "\r\n", 2);
domU_write_console  644 drivers/tty/hvc/hvc_xen.c 		domU_write_console(0, string+off, len-off);