ttrstrt 2248 kern/tty.c timeout_set(&tp->t_rstrt_to, ttrstrt, tp); ttrstrt 270 sys/tty.h void ttrstrt(void *tp);