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