81 static int __write_console(struct xencons_info *xencons,  in __write_console()  argument
85 	struct xencons_interface *intf = xencons->intf;  in __write_console()
104 		notify_daemon(xencons);  in __write_console()
142 	struct xencons_info *xencons = vtermno_to_xencons(vtermno);  in domU_read_console()  local
145 	if (xencons == NULL)  in domU_read_console()
147 	intf = xencons->intf;  in domU_read_console()
173 	if (intf->out_cons != xencons->out_cons) {  in domU_read_console()
174 		xencons->out_cons = intf->out_cons;  in domU_read_console()
175 		xencons->out_cons_same = 0;  in domU_read_console()
178 		notify_daemon(xencons);  in domU_read_console()
179 	} else if (xencons->out_cons_same++ > 1) {  in domU_read_console()
183 	xen_irq_lateeoi(xencons->irq, eoiflag);  in domU_read_console()