Searched refs:srcfile_push (Results 1 – 4 of 4) sorted by relevance
47 void srcfile_push(const char *fname);
272 srcfile_push(filename);
174 void srcfile_push(const char *fname) in srcfile_push() function
23 srcfile_push(fname); in dt_from_source()