t_rstrt_to        341 dev/wscons/wsdisplay.c 		timeout_del(&scr->scr_tty->t_rstrt_to);
t_rstrt_to       1468 dev/wscons/wsdisplay.c 		timeout_add(&tp->t_rstrt_to, (hz > 128) ? (hz / 128) : 1);
t_rstrt_to       2007 dev/wscons/wsdisplay.c 		timeout_add(&scr->scr_tty->t_rstrt_to, 0); /* "immediate" */
t_rstrt_to       2248 kern/tty.c     	timeout_set(&tp->t_rstrt_to, ttrstrt, tp);
t_rstrt_to        132 sys/tty.h      	struct timeout t_rstrt_to;	/* restart timeout */