exit_time        1417 drivers/tty/rocket.c 	int check_time, exit_time;
exit_time        1441 drivers/tty/rocket.c 			exit_time = orig_jiffies + timeout - jiffies;
exit_time        1442 drivers/tty/rocket.c 			if (exit_time <= 0)
exit_time        1444 drivers/tty/rocket.c 			if (exit_time < check_time)
exit_time        1445 drivers/tty/rocket.c 				check_time = exit_time;