diff options
Diffstat (limited to 'src/generic')
| -rw-r--r-- | src/generic/armcm_timer.c | 2 | ||||
| -rw-r--r-- | src/generic/timer_irq.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/generic/armcm_timer.c b/src/generic/armcm_timer.c index ef38680a..e7708180 100644 --- a/src/generic/armcm_timer.c +++ b/src/generic/armcm_timer.c @@ -137,7 +137,7 @@ timer_dispatch_many(void) // Check if there are too many repeat timers if (diff < (int32_t)(-timer_from_us(1000))) try_shutdown("Rescheduled timer in the past"); - if (sched_tasks_busy()) { + if (sched_check_set_tasks_busy()) { timer_repeat_until = now + TIMER_REPEAT_TICKS; return TIMER_DEFER_REPEAT_TICKS; } diff --git a/src/generic/timer_irq.c b/src/generic/timer_irq.c index 40e9336b..7c2e871b 100644 --- a/src/generic/timer_irq.c +++ b/src/generic/timer_irq.c @@ -55,7 +55,7 @@ timer_dispatch_many(void) // Check if there are too many repeat timers if (diff < (int32_t)(-timer_from_us(1000))) try_shutdown("Rescheduled timer in the past"); - if (sched_tasks_busy()) { + if (sched_check_set_tasks_busy()) { timer_repeat_until = now + TIMER_REPEAT_TICKS; return now + TIMER_DEFER_REPEAT_TICKS; } |