xencons            79 drivers/tty/hvc/hvc_xen.c static int __write_console(struct xencons_info *xencons,
xencons            83 drivers/tty/hvc/hvc_xen.c 	struct xencons_interface *intf = xencons->intf;
xencons            98 drivers/tty/hvc/hvc_xen.c 		notify_daemon(xencons);
xencons           133 drivers/tty/hvc/hvc_xen.c 	struct xencons_info *xencons = vtermno_to_xencons(vtermno);
xencons           134 drivers/tty/hvc/hvc_xen.c 	if (xencons == NULL)
xencons           136 drivers/tty/hvc/hvc_xen.c 	intf = xencons->intf;
xencons           149 drivers/tty/hvc/hvc_xen.c 	notify_daemon(xencons);