Searched refs:do_flush (Results 1 – 1 of 1) sorted by relevance
143 static void do_flush(void);1313 do_flush(); in eval_with_exn_handling()1329 do_flush(); in eval_with_exn_handling()1594 do_flush(void) in do_flush() function