taglinefilesource code
res_data212drivers/char/ftape/fdc-io.cint fdc_result(byte * res_data, int res_len)
res_data228drivers/char/ftape/fdc-io.cresult = fdc_read(res_data);
res_data242drivers/char/ftape/fdc-io.c++res_data;
res_data157drivers/char/ftape/fdc-io.hextern int fdc_result(byte * res_data, int res_len);