4fb002805e
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 Reviewed by: kevans Sponsored by: The FreeBSD Foundation Differential Revision: https://reviews.freebsd.org/D32546 |
||
---|---|---|
.. | ||
acpica | ||
arm64 | ||
broadcom | ||
cavium | ||
conf | ||
coresight | ||
freescale/imx | ||
include | ||
intel | ||
iommu | ||
linux | ||
nvidia/tegra210 | ||
qoriq | ||
qualcomm | ||
rockchip |