written_total     639 drivers/tty/hvc/hvc_console.c 	int written_total = 0;
written_total     645 drivers/tty/hvc/hvc_console.c 		written_total = hvc_push(hp);
written_total     651 drivers/tty/hvc/hvc_console.c 		timeout = (written_total) ? 0 : MIN_TIMEOUT;