taglinefilesource code
badmagic438drivers/char/cyclades.cstatic const char *badmagic =
badmagic457drivers/char/cyclades.cprintk(badmagic, kdevname(device), routine);
badmagic1931drivers/char/scc.cstatic const char *badmagic = 
badmagic1944drivers/char/scc.cprintk(badmagic, kdevname(device), routine);
badmagic216drivers/char/serial.cstatic const char *badmagic =
badmagic226drivers/char/serial.cprintk(badmagic, kdevname(device), routine);
badmagic156drivers/char/tty_io.cstatic const char *badmagic =
badmagic166drivers/char/tty_io.cprintk(badmagic, kdevname(device), routine);