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