Symbol: tty_devname
sys/kern/tty.c
2236
if (strcmp(dev_console_filename, tty_devname(tp)) == 0) {
sys/kern/tty.c
2415
db_printf("%p: %s\n", tp, tty_devname(tp));
sys/kern/tty.c
2484
"%5d ", tp, tty_devname(tp), isiz,
sys/kern/tty_pts.c
287
p = tty_devname(tp);
sys/kern/tty_pts.c
597
strlcpy(kif->kf_path, tty_devname(tp), sizeof(kif->kf_path));