taglinefilesource code
bad_seek491drivers/char/ftape/ftape-eof.c} bad_seek = not;
bad_seek509drivers/char/ftape/ftape-eof.cbad_seek = begin;
bad_seek515drivers/char/ftape/ftape-eof.cbad_seek = end;
bad_seek528drivers/char/ftape/ftape-eof.c} else if (bad_seek != not) {
bad_seek530drivers/char/ftape/ftape-eof.c(bad_seek == begin) ? "begin" : "end");