taglinefilesource code
wait_segment256drivers/char/ftape/ftape-read.cint result = wait_segment(reading);
wait_segment165drivers/char/ftape/ftape-rw.hextern int wait_segment(buffer_state_enum state);
wait_segment214drivers/char/ftape/ftape-write.cwait_segment(writing);