[#44] arm_gic.c: fix BASEPRI behaviour

The processor should not process any exception with a priority value greater than or equal to BASEPRI.
ilg-archived · May 11, 2017 · 394c1e1 · 394c1e1
1 parent 26b122c
commit 394c1e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hw/intc/arm_gic.c b/hw/intc/arm_gic.c
@@ -99,7 +99,7 @@ void gic_update(GICState *s)
 #if defined(CONFIG_GNU_ARM_ECLIPSE)
                 int prio = GIC_GET_PRIORITY(irq, cpu);
                 uint32_t basepri = *(s->basepri_ptr);
-                if ((basepri == 0) || (prio <= basepri)) {
+                if ((basepri == 0) || (prio < basepri)) {
                     if (prio < best_prio) {
                         best_prio = prio;
                         best_irq = irq;