Master IRQ should be EOIed first, I think.

diff --git a/src/arch/i386/core/pic8259.c b/src/arch/i386/core/pic8259.c
index aae22ce..defe2e7 100644 (file)
--- a/src/arch/i386/core/pic8259.c
+++ b/src/arch/i386/core/pic8259.c
@@ -46,11 +46,11 @@ static inline void send_nonspecific_eoi ( unsigned int irq ) {
  */
 static inline void send_specific_eoi ( unsigned int irq ) {
        DBG ( "Sending specific EOI for IRQ %d\n", irq );
-       outb ( ( ICR_EOI_SPECIFIC | ICR_VALUE ( irq ) ), ICR_REG ( irq ) );
        if ( irq >= IRQ_PIC_CUTOFF ) {
                outb ( ( ICR_EOI_SPECIFIC | ICR_VALUE ( CHAINED_IRQ ) ),
                       ICR_REG ( CHAINED_IRQ ) );
        }
+       outb ( ( ICR_EOI_SPECIFIC | ICR_VALUE ( irq ) ), ICR_REG ( irq ) );
 }
 
 /**