taglinefilesource code
badrange442drivers/char/cyclades.cstatic const char *badrange =
badrange452drivers/char/cyclades.cprintk(badrange, kdevname(device), routine);