Lines Matching defs:elapsed_time
340 elapsed_time (void)
390 printf (" %s", elapsed_time ());
398 printf (" %s", elapsed_time ());
458 printf (" %s", elapsed_time ());
468 printf (" %s", elapsed_time ());
478 printf (" %s", elapsed_time ());
488 printf (" %s", elapsed_time ());
512 printf (" %s", elapsed_time ());
673 printf (" %s", elapsed_time ());
719 printf (" %s", elapsed_time ());
783 printf (" %s", elapsed_time ());
803 printf (" %s", elapsed_time ());
820 printf (" %s", elapsed_time ());
842 printf (" %s", elapsed_time ());
928 printf (" %s", elapsed_time ());
944 printf (" %s\n", elapsed_time ());
1004 printf (" %s", elapsed_time ());
1023 printf (" %s", elapsed_time ());
1040 printf (" %s\n", elapsed_time ());
1073 printf (" %s", elapsed_time ()); fflush (stdout);