diff options
Diffstat (limited to 'src/generic/timer_irq.c')
| -rw-r--r-- | src/generic/timer_irq.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/generic/timer_irq.c b/src/generic/timer_irq.c index 6527c949..0b4c3c8d 100644 --- a/src/generic/timer_irq.c +++ b/src/generic/timer_irq.c @@ -54,7 +54,7 @@ timer_dispatch_many(void) if (unlikely(timer_is_before(tru, now))) { // Check if there are too many repeat timers if (diff < (int32_t)(-timer_from_us(1000))) - shutdown("Rescheduled timer in the past"); + try_shutdown("Rescheduled timer in the past"); if (sched_tasks_busy()) { timer_repeat_until = now + TIMER_REPEAT_TICKS; return now + TIMER_DEFER_REPEAT_TICKS; |