We need to call smp_write_lintsrc() instead of smp_write_intsrc() for
[coreboot.git] / src / mainboard / asus / p2b-ds / mptable.c
index 0fc6a138b0a963b0f5fbbdf0928a4dc4c6416e8e..f215584ba1f936e971a8489f47fd443ed033157a 100644 (file)
@@ -81,10 +81,10 @@ static void *smp_write_config_table(void *v)
                         0x0, 0x30, 0x2, 0x10);
 
        /* Local Ints: Type  Polarity  Trigger  Bus ID  IRQ  APIC ID  PIN# */
-       smp_write_intsrc(mc, mp_ExtINT,
+       smp_write_lintsrc(mc, mp_ExtINT,
                         MP_IRQ_TRIGGER_EDGE | MP_IRQ_POLARITY_HIGH, 0x1, 0x0,
                         MP_APIC_ALL, 0x0);
-       smp_write_intsrc(mc, mp_NMI, MP_IRQ_TRIGGER_EDGE | MP_IRQ_POLARITY_HIGH,
+       smp_write_lintsrc(mc, mp_NMI, MP_IRQ_TRIGGER_EDGE | MP_IRQ_POLARITY_HIGH,
                         0x1, 0x0, MP_APIC_ALL, 0x1);
 
        /* There is no extension information... */