diff options
Diffstat (limited to 'shared')
| -rw-r--r-- | shared/runtime/softtimer.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/shared/runtime/softtimer.h b/shared/runtime/softtimer.h index fe5d02b90..6921c9f47 100644 --- a/shared/runtime/softtimer.h +++ b/shared/runtime/softtimer.h @@ -81,6 +81,9 @@ static inline void soft_timer_reinsert(soft_timer_entry_t *entry, uint32_t initi // pend-SV IRQ level, or equivalent. uint32_t soft_timer_get_ms(void); void soft_timer_schedule_at_ms(uint32_t ticks_ms); + +// Optional port-specific initialisation function (provided and called by the port if needed). +void soft_timer_init(void); #endif #endif // MICROPY_INCLUDED_SHARED_RUNTIME_SOFTTIMER_H |