ACPI APIC configuration
acpimadt* at acpi?
acpimadt driver configures system
processors and I/O APICs based on information extracted from the ACPI APIC
acpi(4), cpu(4), intro(4), ioapic(4)
acpimadt driver first appeared in
acpimadt driver was written by