Searched refs:input_file_push (Results 1 – 4 of 4) sorted by relevance
59 char *input_file_push (void);
80 input_file_push (void) in input_file_push() function
158 saved->input_file_save = input_file_push (); in input_scrub_push()
91 * input-file.c (input_file_push, input_file_pop): Likewise.