diff --git a/common/timer.c b/common/timer.c index 0256d673bc..810a28c7d2 100644 --- a/common/timer.c +++ b/common/timer.c @@ -69,7 +69,7 @@ void process_timers(int overflow) int tskid = 31 - __builtin_clz(check_timer); /* timer has expired ? */ - if (timer_deadline[tskid].val < now.val) + if (timer_deadline[tskid].val <= now.val) expire_timer(tskid); else if ((timer_deadline[tskid].le.hi == now.le.hi) &&