hifive: Check if overflow IRQ is actually pending

Timer may have been reset, or the overflow may be already handled by pwm_get_time(). This fixes sel4test issue 91. Signed-off-by: Indan Zupancic <[email protected]>
seL4 · Jun 27, 2023 · ec4dec5 · ec4dec5
1 parent 706fc25
commit ec4dec5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libplatsupport/src/plat/hifive/pwm.c b/libplatsupport/src/plat/hifive/pwm.c
@@ -93,7 +93,7 @@ int pwm_set_timeout(pwm_t *pwm, uint64_t ns, bool periodic)
 
 void pwm_handle_irq(pwm_t *pwm, uint32_t irq)
 {
-    if(pwm->mode == UPCOUNTER) {
+    if (pwm->mode == UPCOUNTER && (pwm->pwm_map->pwmcfg & PWMCMP0IP)) {
         pwm->time_h++;
     }