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