Searched refs:input_file_push (Results 1 – 3 of 3) sorted by relevance
60 char *input_file_push (void);
84 input_file_push (void) in input_file_push() function
160 saved->input_file_save = input_file_push (); in input_scrub_push()