From: Ben Pfaff Date: Mon, 27 Sep 2004 04:31:40 +0000 (+0000) Subject: Comments. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d45c1fe7e69aa616789ffcbff588c60b3fdbf23c;p=pintos-anon Comments. Make print_stats() message consistent with others. --- 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. */