Searched refs:input_file_pop (Results 1 – 3 of 3) sorted by relevance
65 void input_file_pop (char *arg);
106 input_file_pop (char *arg) in input_file_pop() function
178 input_file_pop (saved->input_file_save); in input_scrub_pop()