GET_TIME          820 lib/tty/key.c                  GET_TIME (tv1);
GET_TIME          842 lib/tty/key.c          GET_TIME (tv2);
GET_TIME         1799 lib/tty/key.c              GET_TIME (current);
GET_TIME         1872 lib/tty/key.c                      GET_TIME (esctime);
GET_TIME         2177 lib/tty/key.c      GET_TIME (endtime);
GET_TIME         2190 lib/tty/key.c              GET_TIME (time_out);