tag	line	file	source code
badrange	422	drivers/char/cyclades.c	static const char *badrange =
badrange	432	drivers/char/cyclades.c	printk(badrange, kdevname(device), routine);