Searched refs:input_scrub_close (Results 1 – 3 of 3) sorted by relevance
554 void input_scrub_close (void);
295 input_scrub_close (void) in input_scrub_close() function
1130 input_scrub_close (); in read_a_source_file()