Ensure set_timer_irq_enabled() clears the pending interrupt from
the gic before proceeding with the next test.
Signed-off-by: Andrew Jones <drjones@xxxxxxxxxx>
---
arm/timer.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/arm/timer.c b/arm/timer.c
index 275d0494083d..eebc451722d9 100644
--- a/arm/timer.c
+++ b/arm/timer.c
@@ -231,6 +231,7 @@ static void test_timer(struct timer_info *info)
/* Disable the timer again and prepare to take interrupts */
info->write_ctl(0);
set_timer_irq_enabled(info, true);
+ report("interrupt signal no longer pending", !gic_timer_pending(info));
report("latency within 10 ms", test_cval_10msec(info));
report("interrupt received", info->irq_received);
--
2.18.1
