Searched refs:get_real_filename (Results 1 – 3 of 3) sorted by relevance
350 char *filename = get_real_filename(ifile); in mark_check_ifile()389 filename = get_real_filename(m->m_ifile); in save_marks()
256 public char * get_real_filename(IFILE ifile) in get_real_filename() function
174 public char * get_real_filename(IFILE ifile);