Searched refs:dump_time (Results 1 – 3 of 3) sorted by relevance
164 void dump_time(void);
229 dump_time(void) in dump_time() function
656 dump_time();