taglinefilesource code
old_segment_id179drivers/char/ftape/ftape-rw.cstatic int old_segment_id = -1;
old_segment_id187drivers/char/ftape/ftape-rw.csegment_id, old_segment_id);
old_segment_id189drivers/char/ftape/ftape-rw.cold_segment_id = -1;
old_segment_id192drivers/char/ftape/ftape-rw.cif (segment_id == old_segment_id) {
old_segment_id205drivers/char/ftape/ftape-rw.cold_segment_id = segment_id;