Trivial: use the IO_APIC_ADDR constant defined in ioapic.h, and spell check
[coreboot.git] / src / mainboard / amd / bimini_fam10 / acpi_tables.c
index 9b1ab3f4e51fbe6f600bda612e2bf20329bb7dd5..a5422ffd6c30a6d5370ba82c4b4b2203baf6714e 100644 (file)
@@ -20,6 +20,7 @@
 #include <console/console.h>
 #include <string.h>
 #include <arch/acpi.h>
+#include <arch/ioapic.h>
 #include <device/pci.h>
 #include <device/pci_ids.h>
 #include <cpu/x86/msr.h>
@@ -56,8 +57,6 @@ extern const unsigned char AmlCode_ssdt4[];
 extern const unsigned char AmlCode_ssdt5[];
 #endif
 
-#define IO_APIC_ADDR   0xfec00000UL
-
 unsigned long acpi_fill_mcfg(unsigned long current)
 {
        /* Just a dummy */