Searched refs:read_record_end (Results 1 – 1 of 1) sorted by relevance
509 read_record_end(FILE *f, const char *fn, int lineno) in read_record_end() function773 read_record_end(filep, fname, *linenop); in process_k5beta7_princ()