xen/pvh: Enable CPU hotplug

PVH guests don't (yet) receive ACPI hotplug interrupts and therefore
need to monitor xenstore for CPU hotplug event.

Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Reviewed-by: Juergen Gross <jgross@suse.com>

diff --git a/drivers/xen/cpu_hotplug.c b/drivers/xen/cpu_hotplug.c
index 5676aefdf2bca72bd8734ff2642c3720b480d43a..0bab60a374648380e763aca385551d80aeaf3843 100644 (file)
--- a/drivers/xen/cpu_hotplug.c
+++ b/drivers/xen/cpu_hotplug.c
@@ -107,7 +107,7 @@ static int __init setup_vcpu_hotplug_event(void)
                .notifier_call = setup_cpu_watcher };
 
 #ifdef CONFIG_X86
-       if (!xen_pv_domain())
+       if (!xen_pv_domain() && !xen_pvh_domain())
 #else
        if (!xen_domain())
 #endif