The ACPI ID may not be the same as the FreeBSD CPU id. Use the former
when finding the CPU domain as there is no requirement for it to be
identical to the latter.
Reported by: dch, kevans
Differential D32546
Pass the ACPI ID when reading the ACPI domain andrew on Oct 18 2021, 10:39 AM. Authored by Tags None Referenced Files
Details
The ACPI ID may not be the same as the FreeBSD CPU id. Use the former Reported by: dch, kevans
Diff Detail
Event TimelineComment Actions This one boots fine here, and acpi uid is consistent with what we're adding in acpi_pxm.c (thanks!) |