Searched refs:input_file_push (Results 1 – 5 of 5) 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()
264 * input-file.c (input_file_push, input_file_pop): Likewise.
2096 * input-file.c (input_file_push): Likewise.