We define IO_APIC_ADDR in <arch/ioapic.h>, let's use it.
[coreboot.git] / src / mainboard / amd / serengeti_cheetah_fam10 / mptable.c
index c0a4d8a0b3d75fd1e6521a511b03309b395662ee..93c6bccd8c0560cfb161b2e612684dd472a8d7db 100644 (file)
@@ -19,6 +19,7 @@
 
 #include <console/console.h>
 #include <arch/smp/mpspec.h>
+#include <arch/ioapic.h>
 #include <device/pci.h>
 #include <string.h>
 #include <stdint.h>
@@ -74,7 +75,7 @@ static void *smp_write_config_table(void *v)
        smp_write_bus(mc, m->bus_isa, "ISA   ");
 
        /*I/O APICs:    APIC ID Version State   Address*/
-       smp_write_ioapic(mc, m->apicid_8111, 0x11, 0xfec00000); //8111
+       smp_write_ioapic(mc, m->apicid_8111, 0x11, IO_APIC_ADDR); //8111
        {
                device_t dev;
                struct resource *res;