Searched refs:get_real_filename (Results 1 – 3 of 3) sorted by relevance
348 constant char *filename = get_real_filename(ifile); in mark_check_ifile() 387 filename = get_real_filename(m->m_ifile); in save_marks()
254 public constant char * get_real_filename(IFILE ifile) in get_real_filename() function
191 public constant char * get_real_filename(IFILE ifile);