K 10
svn:author
V 6
royger
K 8
svn:date
V 27
2014-06-16T08:45:12.199034Z
K 7
svn:log
V 409
xen: create a PV CPU device for PVH guests

Since there's no ACPI on PVH guests, we need to create a dummy CPU
device in order to fill the pcpu->pc_device field.

Sponsored by: Citrix Systems R&D
Approved by: gibbs

dev/xen/pvcpu/pvcpu.c:
 - Create a dummy CPU device for PVH guests in order to fill the
   per-cpu pc_device field.

conf/files:
 - Add the pvcpu device to kernels using XEN or XENHVM options.

END