Searched refs:input_file_pop (Results 1 – 4 of 4) sorted by relevance
65 void input_file_pop (char *arg);
99 input_file_pop (char *arg) in input_file_pop() function
180 input_file_pop (saved->input_file_save); in input_scrub_pop()
91 * input-file.c (input_file_push, input_file_pop): Likewise.