Searched refs:input_file_close (Results 1 – 3 of 3) sorted by relevance
62 void input_file_close (void);
203 input_file_close (void) in input_file_close() function
306 input_file_close (); in input_scrub_close()