From: Ben Pfaff 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