diff options
Diffstat (limited to 'platforms/timer.h')
-rw-r--r-- | platforms/timer.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/platforms/timer.h b/platforms/timer.h index d55f40f0b0..fb8ff6bc54 100644 --- a/platforms/timer.h +++ b/platforms/timer.h @@ -38,6 +38,8 @@ extern volatile uint32_t timer_count; void timer_init(void); void timer_clear(void); +void timer_save(void); +void timer_restore(void); uint16_t timer_read(void); uint32_t timer_read32(void); uint16_t timer_elapsed(uint16_t last); |