Searched refs:set_flush_budget (Results 1 – 2 of 2) sorted by relevance
1319 void set_flush_budget(int to) { flush_budget_ = to; } in set_flush_budget() function
4032 new_trace.set_flush_budget(new_flush_budget); in Emit()4218 new_trace.set_flush_budget(new_flush_budget); in EmitChoices()