We need to call smp_write_lintsrc() instead of smp_write_intsrc() for
[coreboot.git] / src / mainboard / amd / pistachio / mptable.c
index f0075697657c00c7414b243d3a25ac59aa158730..9f3ffa87978cab0dc4553286cd924c760abd3324 100644 (file)
@@ -100,7 +100,7 @@ static void *smp_write_config_table(void *v)
 
        /* I/O Ints:    Type    Polarity    Trigger     Bus ID   IRQ    APIC ID PIN# */
 #define IO_LOCAL_INT(type, intr, apicid, pin) \
-       smp_write_intsrc(mc, (type), MP_IRQ_TRIGGER_EDGE | MP_IRQ_POLARITY_HIGH, bus_isa, (intr), (apicid), (pin));
+       smp_write_lintsrc(mc, (type), MP_IRQ_TRIGGER_EDGE | MP_IRQ_POLARITY_HIGH, bus_isa, (intr), (apicid), (pin));
 
        mptable_add_isa_interrupts(mc, bus_isa, apicid_sb600, 0);