From 0d81c133b31774058408a5f1d1a058d9734a9def Mon Sep 17 00:00:00 2001
From: Dave Hylands
Date: Mon, 30 Jun 2014 07:55:54 -0700
Subject: Add timer_deinit and call it just before doing a soft-restart

This fixes #733.
---
 stmhal/timer.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'stmhal/timer.h')

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);
-- 
cgit v1.2.3