We need to call smp_write_lintsrc() instead of smp_write_intsrc() for
[coreboot.git] / src / mainboard / asus / p2b-d / mptable.c
index 49107c2216a364ea0a1720543a8f9fb082e4ecb7..12ca7891eb827e2a1cd396304886067aa54be84a 100644 (file)
@@ -79,10 +79,10 @@ static void *smp_write_config_table(void *v)
                         0x2, 0xa, 0x2, 0x13);
 
        /* 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, 0x2, 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,
                         0x2, 0x0, MP_APIC_ALL, 0x1);
 
        /* There is no extension information... */