ACPI MADT: Don't use the "Initial APIC ID" in cpu_procinfo(cpuid.1)
authorMichael Neumann <mneumann@ntecs.de>
Wed, 13 Oct 2010 21:12:16 +0000 (23:12 +0200)
committerMichael Neumann <mneumann@ntecs.de>
Wed, 13 Oct 2010 21:12:16 +0000 (23:12 +0200)
commit1c1f402e0afb0b0f7bef1bf1688c0dbc1af1442f
treea574966c761d5a4d0b378e559b050b00bc25ef83
parent91903a05a379e840a80f2091f37064f19ab35d36
ACPI MADT: Don't use the "Initial APIC ID" in cpu_procinfo(cpuid.1)

Apply commit 733c107fab3315769778d1248b45bec918e91a82 for x86_64.

Some BIOSes seem to reprogram LAPIC ID to a value different from
what's in cpu_procinfo.
sys/platform/pc64/x86_64/mp_madt.c