Searched refs:push_name (Results 1 – 3 of 3) sorted by relevance
72 void push_name(const char *);426 push_name(fp->f_name); in check_file()1056 push_name(const char *name) in push_name() function
291 void push_name(const char *);
442 push_name(fp->f_name); in eval_file()