From c87d1d34dc1ad4a351a8db27bdabe63f43785f2f Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 27 Sep 2004 04:31:40 +0000
Subject: [PATCH] Comments. Make print_stats() message consistent with others.

---
 src/devices/timer.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/devices/timer.c b/src/devices/timer.c
index 8f47c81..ec97783 100644
--- a/src/devices/timer.c
+++ b/src/devices/timer.c
@@ -7,6 +7,8 @@
 #include "threads/io.h"
 #include "threads/thread.h"
   
+/* See [8254] for hardware details of the 8254 timer chip. */
+
 #if TIMER_FREQ < 19
 #error 8254 timer requires TIMER_FREQ >= 19
 #endif
@@ -98,7 +100,7 @@ timer_ns2ticks (int64_t ns)
 void
 timer_print_stats (void) 
 {
-  printf ("Timer: %"PRId64" ticks.\n", ticks);
+  printf ("Timer: %"PRId64" ticks\n", ticks);
 }
 
 /* Timer interrupt handler. */
-- 
2.30.2