Searched refs:save_marks (Results 1 – 3 of 3) sorted by relevance
369 public void save_marks(FILE *fout, constant char *hdr) in save_marks() function
273 public void save_marks(FILE *fout, constant char *hdr);
1682 save_marks(fout, HISTFILE_MARK_SECTION);