Searched refs:dump_time (Results 1 – 3 of 3) sorted by relevance
134 void dump_time(void);
216 dump_time(void) in dump_time() function
644 dump_time();