From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 21 Jan 2005 22:24:31 +0000 (+0000)
Subject: Comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d64618b9f5ecb25d4805650a85cafea0bbe95b05;p=pintos-anon

Comment.
---

diff --git a/src/devices/timer.c b/src/devices/timer.c
index 3724abf..9e1b498 100644
--- a/src/devices/timer.c
+++ b/src/devices/timer.c
@@ -16,8 +16,7 @@
 #error TIMER_FREQ <= 1000 recommended
 #endif
 
-/* Number of timer ticks that a process gets before being
-   preempted. */
+/* Number of time ticks to elapse between process yields. */
 #define TIME_SLICE 1
 
 /* Number of timer ticks since OS booted. */