ttvtimeout       1414 kern/tty.c     void ttvtimeout(void *);
ttvtimeout       1497 kern/tty.c     				timeout_set(stime, ttvtimeout, tp);