freebsd-dev/sys/x86
Roger Pau Monné 4edbde911b xen: fix setting legacy PVH vcpu id
The recommended way to obtain the vcpu id is using the cpuid
instruction with a specific leaf value. This leaf value must be
obtained at runtime, and it's done when populating the hypercall page.

Legacy PVH however will get the hypercall page populated by the
hypervisor itself before booting, so the cpuid leaf was not actually
set, thus preventing setting the vcpu id value from cpuid.

Fix this by making sure the cpuid leaf has been probed before
attempting to set the vcpu id.

Approved by:		re (gjb)
Sponsored by:		Citrix Systems R&D
2018-09-13 07:12:16 +00:00
..
acpica Dynamically allocate IRQ ranges on x86. 2018-08-28 21:09:19 +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 Dynamically allocate IRQ ranges on x86. 2018-08-28 21:09:19 +00:00
iommu Dynamically allocate IRQ ranges on x86. 2018-08-28 21:09:19 +00:00
isa Dynamically allocate IRQ ranges on x86. 2018-08-28 21:09:19 +00:00
pci Add ISA PNP tables to ISA drivers. Fix a few incidental comments. 2018-01-29 00:22:30 +00:00
x86 msi: remove the check that interrupt sources have been added 2018-09-13 07:05:51 +00:00
xen xen: fix setting legacy PVH vcpu id 2018-09-13 07:12:16 +00:00