Comment.

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

diff --git a/src/devices/timer.c b/src/devices/timer.c
index 3724abf944ab4fbf7d53936cdbe822a2a7b9a5a5..9e1b4989c833b62cfcaa5a66032c1cae1124fec0 100644 (file)
--- 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. */