We define IO_APIC_ADDR in <arch/ioapic.h>, let's use it.
[coreboot.git] / src / mainboard / ibase / mb899 / mptable.c
index d582ec6526d21899171bf46cef2afa09679cd011..4c6e9e4e1abf8eb49290065b71af1e41378ac600 100644 (file)
  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
  */
 
-
 #include <device/device.h>
 #include <device/pci.h>
 #include <console/console.h>
 #include <arch/smp/mpspec.h>
+#include <arch/ioapic.h>
 #include <string.h>
 #include <stdint.h>
 
@@ -86,7 +86,7 @@ static void *smp_write_config_table(void *v)
 
        /* I/O APICs:   APIC ID Version State           Address */
        ioapic_id = 2;
-       smp_write_ioapic(mc, ioapic_id, 0x20, 0xfec00000);
+       smp_write_ioapic(mc, ioapic_id, 0x20, IO_APIC_ADDR);
 
        /* Legacy Interrupts */