Symbol: ttydisc_reprint
sys/kern/tty_ttydisc.c
1092
ttydisc_reprint(tp);
sys/kern/tty_ttydisc.c
1188
ttydisc_reprint(tp);
sys/kern/tty_ttydisc.c
851
ttydisc_reprint(tp);