Searched refs:output_time (Results 1 – 1 of 1) sorted by relevance
3203 static ticker_t output_time; variable9176 print_active_time (f, output_time); in output_time_statistics()9473 output_time = create_ticker (); in write_automata()9535 ticker_off (&output_time); in write_automata()