tag	line	file	source code
badinfo	208	drivers/char/serial.c	static const char *badinfo =
badinfo	212	drivers/char/serial.c	printk(badinfo, MAJOR(device), MINOR(device), routine);