mach_clock (set_timeout): Start counting after next tickHEADmaster

to avoid partial ticks.

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);
 	     ;