diff options
-rw-r--r-- | common/timer.c | 2 |
1 files changed, 1 insertions, 1 deletions
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) && |