Searched refs:input_file_end (Results 1 – 6 of 6) sorted by relevance
71 input_file_end (void) in input_file_end() function115 input_file_end (); /* Close out old file. */ in input_file_pop()
64 void input_file_end (void);
228 input_file_end (); in input_scrub_end()
72 input_file_end (void) in input_file_end() function110 input_file_end (); /* Close out old file. */ in input_file_pop()
63 void input_file_end (void);
227 input_file_end (); in input_scrub_end()