tag
line
file
source code
badtty
143
drivers/char/tty_io.c
static const char *badtty =
badtty
147
drivers/char/tty_io.c
printk(badtty, kdevname(device), routine);