We need to call smp_write_lintsrc() instead of smp_write_intsrc() for
[coreboot.git] / src / mainboard / technexion / tim5690 / mptable.c
index 6435e7ec94246c8c314eadf1e376efbe3fb34313..f9c92b446f83e143de07c8d79cc69c5046fa3396 100644 (file)
@@ -99,7 +99,7 @@ static void *smp_write_config_table(void *v)
        }
 
 #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);