freebsd-skq/sys/x86
Roger Pau Monné 8518997526 xen: obtain vCPU ID from CPUID
The Xen vCPU ID can be fetched from the cpuid instead of inferring it
from the ACPI ID.

Sponsored by: Citrix Systems R&D
2018-06-26 15:00:54 +00:00
..
acpica add support for console resuming, implement it for uart, use on x86 2018-05-29 16:16:24 +00:00
bios sys/x86: further adoption of SPDX licensing ID tags. 2017-11-27 15:11:47 +00:00
cpufreq cpufreq: Remove error-prone table terminators in favor of automatic sizing 2018-04-14 03:15:05 +00:00
include Provide a helper function acpi_get_fadt_bootflags() to fetch the FADT 2018-06-25 11:01:12 +00:00
iommu Don't include DMAR map entry zone items in kernel dumps. 2018-02-18 16:03:50 +00:00
isa Provide a helper function acpi_get_fadt_bootflags() to fetch the FADT 2018-06-25 11:01:12 +00:00
pci Add ISA PNP tables to ISA drivers. Fix a few incidental comments. 2018-01-29 00:22:30 +00:00
x86 Do not access ISA timer if BIOS reports that there is no legacy 2018-06-25 11:24:26 +00:00
xen xen: obtain vCPU ID from CPUID 2018-06-26 15:00:54 +00:00