void
timer_print_stats (void)
{
- printf ("Timer: %"PRId64" ticks\n", ticks);
+ printf ("Timer: %"PRId64" ticks\n", timer_ticks ());
}
\f
/* Timer interrupt handler. */
differently in different places the results would be difficult
to predict. */
static void NO_INLINE
-busy_wait (int64_t loops)
+busy_wait (volatile int64_t loops)
{
while (loops-- > 0)
continue;