dist/tune/time.c

255 #define speed_cyclecounter(p)  ASSERT_FAIL (speed_cyclecounter not available)
490 	  printf ("cycles_works_p(): SIGILL not supported, assuming speed_cyclecounter() works\n");
496 	  printf ("cycles_works_p(): SIGILL during speed_cyclecounter(), so doesn't work\n");
500     speed_cyclecounter (cycles);
503       printf ("cycles_works_p(): speed_cyclecounter() works\n");
508     printf ("cycles_works_p(): SIGILL not defined, assuming speed_cyclecounter() works\n");
1027 	  /* When speed_cyclecounter has a limited range, look for something
1196       fprintf (stderr, "None of: speed_cyclecounter(), STCK(), getrusage(), gettimeofday(), times()\n");
1297     speed_cyclecounter (start_cycles);
1307    This works even if speed_cyclecounter() puts a value bigger than 32-bits
1436   if (have_cycles && use_cycles)  speed_cyclecounter (end_cycles);