taglinefilesource code
header_segment_1873drivers/char/ftape/ftape-ctl.cheader_segment_1 = -1;
header_segment_1421drivers/char/ftape/ftape-read.cheader_segment_1 = GET2(address, 6);
header_segment_1424drivers/char/ftape/ftape-read.cheader_segment_1, header_segment_2);
header_segment_1425drivers/char/ftape/ftape-read.cused_header_segment = (first_failed) ? header_segment_2 : header_segment_1;
header_segment_156drivers/char/ftape/ftape-rw.cint header_segment_1 = -1;
header_segment_1148drivers/char/ftape/ftape-rw.hextern int header_segment_1;
header_segment_1410drivers/char/ftape/ftape-write.cresult = update_header_segment(header_segment_1, buffer);
header_segment_1714drivers/char/ftape/ftape-write.cheader_segment_1 = 0;