dom0_write_console  181 drivers/tty/hvc/hvc_xen.c 	.put_chars = dom0_write_console,
dom0_write_console  629 drivers/tty/hvc/hvc_xen.c 	dom0_write_console(0, string, len);
dom0_write_console  662 drivers/tty/hvc/hvc_xen.c 		rc = dom0_write_console(0, str, len);
dom0_write_console  685 drivers/tty/hvc/hvc_xen.c 	dom0_write_console(0, string, len);