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