From 634487e3accd00279bb817849594022ef902dc8a Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 20 Jul 2005 04:43:55 +0000 Subject: [PATCH] Eliminate race condition in timer_print_stats() found by Sorav's Checkbochs tool. --- src/devices/timer.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/devices/timer.c b/src/devices/timer.c index 24eede0..c8c41d5 100644 --- a/src/devices/timer.c +++ b/src/devices/timer.c @@ -123,7 +123,7 @@ timer_nsleep (int64_t ns) void timer_print_stats (void) { - printf ("Timer: %"PRId64" ticks\n", ticks); + printf ("Timer: %"PRId64" ticks\n", timer_ticks ()); } /* Timer interrupt handler. */ -- 2.30.2