Index: generic/src/time/clock.c
===================================================================
--- generic/src/time/clock.c	(revision 74fbedb410d3a5939cd2f14e3a15cd2654eb37cf)
+++ generic/src/time/clock.c	(revision 3bf597623745263fdb3d4abbb40c083b7cec3cb0)
@@ -69,5 +69,5 @@
 	 * run all expired timeouts as you visit them.
 	 */
-	for (i = 0; i < CPU->missed_clock_ticks; i++) {
+	for (i = 0; i <= CPU->missed_clock_ticks; i++) {
 		spinlock_lock(&CPU->timeoutlock);
 		while ((l = CPU->timeout_active_head.next) != &CPU->timeout_active_head) {