Searched refs:input_file (Results 1 – 1 of 1) sorted by relevance
315 void sfbpf_restart (FILE *input_file );4201 void sfbpf_restart (FILE * input_file ) in sfbpf_restart() argument4210 sfbpf__init_buffer(YY_CURRENT_BUFFER,input_file ); in sfbpf_restart()