diff options
| author | Dave Hylands <dhylands@gmail.com> | 2014-06-30 07:55:54 -0700 |
|---|---|---|
| committer | Dave Hylands <dhylands@gmail.com> | 2014-06-30 08:07:38 -0700 |
| commit | 0d81c133b31774058408a5f1d1a058d9734a9def (patch) | |
| tree | 140c4e44cacbb8cc0d4609a60b764fafc54b057d /stmhal/timer.h | |
| parent | 8993fb6cf0677ce980ab56cbad326e4e6bc47811 (diff) | |
Add timer_deinit and call it just before doing a soft-restart
This fixes #733.
Diffstat (limited to 'stmhal/timer.h')
| -rw-r--r-- | stmhal/timer.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stmhal/timer.h b/stmhal/timer.h index 9b19d1cd1..2a892db28 100644 --- a/stmhal/timer.h +++ b/stmhal/timer.h @@ -40,4 +40,6 @@ void timer_tim3_init(void); void timer_tim5_init(void); void timer_tim6_init(uint freq); +void timer_deinit(void); + void timer_irq_handler(uint tim_id); |