Comments.

[pintos-anon] / src / devices / timer.c

diff --git a/src/devices/timer.c b/src/devices/timer.c
index 200d58f8251e0b660bd3a4fa49367b337a882857..9c611a1d3eda68b6fd2317304faaef9381f9eb40 100644 (file)
--- 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