Searched refs:dev_time (Results 1 – 4 of 4) sorted by relevance
1443 int64_t dev_time; variable1455 dev_time, dev_time / (double)ticks_per_sec); in do_info_profile()1470 dev_time = 0; in do_info_profile()
1072 extern int64_t dev_time;
4522 dev_time += profile_getclock() - ti; in main_loop()
4458 dev_time += profile_getclock() - ti; in main_loop()