X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Ftimer.c;fp=src%2Fdevices%2Ftimer.c;h=c8c41d55cf412948eb71a04b52c748f0c554465d;hb=7891eee6ec6f5db5dc0ab0a3b4790936bfffaabb;hp=24eede0e247e8c1f389be38f129dda96d81ffb80;hpb=592a2041b117e771c7bfa53e1ee104ced1089ecc;p=pintos-anon

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. */