Searched refs:input_file_pop (Results 1 – 6 of 6) sorted by relevance
65 void input_file_pop (char *arg);
99 input_file_pop (char *arg) in input_file_pop() function
189 input_file_pop (saved->input_file_save); in input_scrub_pop()
180 input_file_pop (saved->input_file_save); in input_scrub_pop()