From 1bc82c23787aeb45879a1f1f7dea5414e65dc3f4 Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Thu, 21 Feb 2019 11:07:32 +0100
Subject: [PATCH] cpu/fe310: periph/timer: reset counter in timer_init()

---
 cpu/fe310/periph/timer.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/cpu/fe310/periph/timer.c b/cpu/fe310/periph/timer.c
index e7d111a7f0..b47a5341e1 100644
--- a/cpu/fe310/periph/timer.c
+++ b/cpu/fe310/periph/timer.c
@@ -53,7 +53,11 @@ int timer_init(tim_t dev, unsigned long freq, timer_cb_t cb, void *arg)
     isr_cb = cb;
     isr_arg = arg;
 
-    /* No other configuration */
+
+    /* reset timer counter */
+    volatile uint64_t *mtime = (uint64_t *) (CLINT_CTRL_ADDR + CLINT_MTIME);
+    *mtime = 0;
+
     return 0;
 }