tty_devname
if (strcmp(dev_console_filename, tty_devname(tp)) == 0) {
db_printf("%p: %s\n", tp, tty_devname(tp));
"%5d ", tp, tty_devname(tp), isiz,
p = tty_devname(tp);
strlcpy(kif->kf_path, tty_devname(tp), sizeof(kif->kf_path));