Searched defs:srcfile_push (Results 1 – 2 of 2) sorted by relevance
172 void srcfile_push(const char *fname) in srcfile_push() function