Searched refs:srcfile_push (Results 1 – 5 of 5) sorted by relevance
36 void srcfile_push(const char *fname);
174 srcfile_push(filename);
78 void srcfile_push(const char *fname) in srcfile_push() function
35 srcfile_push(fname); in dt_from_source()
2007 srcfile_push(filename);