From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 21 Sep 2004 00:24:56 +0000 (+0000)
Subject: Comments.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=054656ba706d2c89eb210b971f3c602443649ab4;p=pintos-anon

Comments.
---

diff --git a/src/devices/timer.c b/src/devices/timer.c
index 200d58f..9c611a1 100644
--- a/src/devices/timer.c
+++ b/src/devices/timer.c
@@ -21,7 +21,7 @@ static volatile int64_t ticks;
 
 static intr_handler_func timer_interrupt;
 
-/* Sets up the 8254 Programmable Interrupt Timer (PIT) to
+/* Sets up the 8254 Programmable Interval Timer (PIT) to
    interrupt PIT_FREQ times per second, and registers the
    corresponding interrupt. */
 void