taglinefilesource code
badrange405drivers/char/cyclades.cstatic const char *badrange =
badrange415drivers/char/cyclades.cprintk(badrange, MAJOR(device), MINOR(device), routine);