We define IO_APIC_ADDR in <arch/ioapic.h>, let's use it.
[coreboot.git] / src / arch / i386 / include / arch / acpi.h
index bc7b082f7d6db43dfc6cd3a55389f89bcfa5ff5b..928bd74b651ae000f16af8d1e9816270c613acac 100644 (file)
@@ -175,7 +175,7 @@ enum acpi_apic_types {
        LocalApic               = 0,
        IOApic                  = 1,
        IRQSourceOverride       = 2,
-       NMI                     = 3,
+       NMIType                 = 3,
        LocalApicNMI            = 4,
        LApicAddressOverride    = 5,
        IOSApic                 = 6,