tag	line	file	source code
badmagic	206	drivers/char/serial.c	static const char *badmagic =
badmagic	216	drivers/char/serial.c	printk(badmagic, MAJOR(device), MINOR(device), routine);
badmagic	131	drivers/char/tty_io.c	static const char *badmagic =
badmagic	141	drivers/char/tty_io.c	printk(badmagic, MAJOR(device), MINOR(device), routine);