Searched refs:input_file_close (Results 1 – 3 of 3) sorted by relevance
63 void input_file_close (void);
196 input_file_close (void) in input_file_close() function
297 input_file_close (); in input_scrub_close()