taglinefilesource code
badmagic432drivers/char/cyclades.cstatic const char *badmagic =
badmagic451drivers/char/cyclades.cprintk(badmagic, kdevname(device), routine);
badmagic1931drivers/char/scc.cstatic const char *badmagic = 
badmagic1944drivers/char/scc.cprintk(badmagic, kdevname(device), routine);
badmagic212drivers/char/serial.cstatic const char *badmagic =
badmagic222drivers/char/serial.cprintk(badmagic, kdevname(device), routine);
badmagic150drivers/char/tty_io.cstatic const char *badmagic =
badmagic160drivers/char/tty_io.cprintk(badmagic, kdevname(device), routine);