Add reset for BCM2387 system timer.

Author: xurtis

libplatsupport/plat_include/bcm2837/platsupport/plat/system_timer.h

@@ -71,3 +71,5 @@ uint64_t system_timer_get_time(system_timer_t *timer);
 int system_timer_set_timeout(system_timer_t *timer, uint64_t ns);
 
 int system_timer_handle_irq(system_timer_t *timer);
+
+int system_timer_reset(system_timer_t *timer);

libplatsupport/src/plat/bcm2837/ltimer.c

@@ -145,6 +145,7 @@ static int reset(void *data)
     spt_ltimer_t *spt_ltimer = data;
     spt_stop(&spt_ltimer->spt);
     spt_start(&spt_ltimer->spt);
+    system_timer_reset(&spt_ltimer->system);
     return 0;
 }
 

libplatsupport/src/plat/bcm2837/system_timer.c

@@ -95,3 +95,14 @@ int system_timer_handle_irq(system_timer_t *timer) {
 
     return 0;
 }
+
+int system_timer_reset(system_timer_t *timer) {
+    if (timer == NULL) {
+        return EINVAL;
+    }
+
+    /* Just clear the one timer that is used. */
+    timer->regs->ctrl = BIT(SYSTEM_TIMER_MATCH);
+
+    return 0;
+}