Lines Matching refs:ef
188 info_hdr(FILE *ef, char *info)190 fprintf(ef, "# *** NOTE: This file contains %s info\n", info);195 gen_hdr(FILE *ef, char *hn)197 fprintf(ef, "# *** NOTE: Only for use on %s\n", hn);276 FILE *ef;280 ef = fopen(p, "w");281 if (ef) {282 (*hdr) (ef, arg);283 make_banner(ef);288 return ef;