taglinefilesource code
fc_type1133drivers/char/ftape/fdc-io.cint fc_type;
fc_type1136drivers/char/ftape/fdc-io.cfc_type = fc10_enable();
fc_type1137drivers/char/ftape/fdc-io.cif (fc_type != 0) {
fc_type1138drivers/char/ftape/fdc-io.cTRACEx1(2, "FC-%c0 controller found", '0' + fc_type);