Lines Matching defs:ef
184 info_hdr(FILE *ef, char *info)186 fprintf(ef, "# *** NOTE: This file contains %s info\n", info);191 gen_hdr(FILE *ef, char *hn)193 fprintf(ef, "# *** NOTE: Only for use on %s\n", hn);272 FILE *ef;276 ef = fopen(p, "w");277 if (ef) {278 (*hdr) (ef, arg);279 make_banner(ef);284 return ef;