Fixes a off-by-one error when routing the IRQs. This led to IRQ15 not
[coreboot.git] / src / arch / i386 / boot / pirq_routing.c
index df201492b24de58fdabe9b50f4966d4856bded8d..6e3d9943c43a427f348fa80052a97c6391adda97 100644 (file)
@@ -137,7 +137,7 @@ void pirq_routing_irqs(unsigned long addr)
                        /* yet not routed */
                        if (!pirq[link - 1]) {
 
-                               for (k = 2; k < 15; k++) {
+                               for (k = 2; k <= 15; k++) {
 
                                        if (!((bitmap >> k) & 1))
                                                continue;