34ec15da90
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.