taglinefilesource code
f_no539drivers/char/ftape/ftape-eof.cint ftape_file_no(daddr_t * f_no, daddr_t * b_no)
f_no545drivers/char/ftape/ftape-eof.c*f_no = eof_index;