We define IO_APIC_ADDR in <arch/ioapic.h>, let's use it.

[coreboot.git] / util / mptable / mptable.c

diff --git a/util/mptable/mptable.c b/util/mptable/mptable.c
index fea99ac87749eb61137fb15deff8d443e53b6efa..9457c3834ceb81efb52371b34d8216e96b05dfbf 100644 (file)
--- a/util/mptable/mptable.c
+++ b/util/mptable/mptable.c
@@ -300,6 +300,7 @@ int         noisy = 0;
 char *preamble[] = {
 "#include <console/console.h>",
 "#include <arch/smp/mpspec.h>",
+"#include <arch/ioapic.h>",
 "#include <device/pci.h>",
 "#include <string.h>",
 "#include <stdint.h>",
@@ -355,7 +356,7 @@ char *postamble[] = {
 };
 
 char *ioapic_code[] = {
-"      smp_write_ioapic(mc, 2, 0x20, 0xfec00000);",
+"      smp_write_ioapic(mc, 2, 0x20, IO_APIC_ADDR);",
 "      {",
 "              device_t dev;",
 "              struct resource *res;",