tag
line
file
source code
badtty
133
drivers/char/tty_io.c
static const char *badtty =
badtty
137
drivers/char/tty_io.c
printk(badtty, MAJOR(device), MINOR(device), routine);