From: Ben Pfaff 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=9a23b07779a919205f9a355c81b67b629e929575;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. */