On Fri, 7 Oct 2016, Dou Liyang wrote: > Is it possible that the "-1/oxffffffff" could appear in the MADT which is one > of the ACPI tables?
According to the SDM the x2apic id is a 32bit ID, so 0xffffffff is a
legitimate value.
Thanks,
tglx
