taglinefilesource code
badmagic454drivers/char/cyclades.cstatic const char *badmagic =
badmagic473drivers/char/cyclades.cprintk(badmagic, kdevname(device), routine);
badmagic122drivers/char/riscom8.cstatic const char *badmagic =
badmagic132drivers/char/riscom8.cprintk(badmagic, kdevname(device), routine);
badmagic1931drivers/char/scc.cstatic const char *badmagic = 
badmagic1944drivers/char/scc.cprintk(badmagic, kdevname(device), routine);
badmagic229drivers/char/serial.cstatic const char *badmagic =
badmagic239drivers/char/serial.cprintk(badmagic, kdevname(device), routine);
badmagic156drivers/char/tty_io.cstatic const char *badmagic =
badmagic166drivers/char/tty_io.cprintk(badmagic, kdevname(device), routine);
badmagic133drivers/sbus/char/sunserial.cstatic const char *badmagic =
badmagic143drivers/sbus/char/sunserial.cprintk(badmagic, MAJOR(device), MINOR(device), routine);