From 34ec15da90fd702b4fc08f4fd2da628e312d6d83 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Date: Mon, 16 Jun 2014 08:45:12 +0000 Subject: [PATCH] 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. --- sys/conf/files | 1 + 1 file changed, 1 insertion(+) diff --git a/sys/conf/files b/sys/conf/files index 13cd14eb47e..08ab51ffc19 100644 --- a/sys/conf/files +++ b/sys/conf/files @@ -2589,6 +2589,7 @@ dev/xen/netback/netback.c optional xen | xenhvm dev/xen/netfront/netfront.c optional xen | xenhvm dev/xen/xenpci/xenpci.c optional xenpci dev/xen/timer/timer.c optional xen | xenhvm +dev/xen/pvcpu/pvcpu.c optional xen | xenhvm dev/xl/if_xl.c optional xl pci dev/xl/xlphy.c optional xl pci fs/deadfs/dead_vnops.c standard