Searched refs:timeofday_double (Results 1 – 1 of 1) sorted by relevance
1090 static double timeofday_double(void) in timeofday_double() function1325 dprintf(timefd, "%f\n", timeofday_double()); in execute()1442 dprintf(timefd, "%f\n", timeofday_double()); in execute()