diff options
| -rw-r--r-- | kern/mach_clock.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kern/mach_clock.c b/kern/mach_clock.c index 48f673a4..3be0fb74 100644 --- a/kern/mach_clock.c +++ b/kern/mach_clock.c @@ -373,7 +373,8 @@ void set_timeout( s = simple_lock_irq(&timer_lock); - interval += elapsed_ticks; + /* Start counting after next tick, to avoid partial ticks. */ + interval += elapsed_ticks + 1; for (next = (timer_elt_t)queue_first(&timer_head.chain); ; |