|
@@ -111,8 +111,10 @@ int arch_register_cpu(int num)
|
|
/*
|
|
/*
|
|
* Currently CPU0 is only hotpluggable on Intel platforms. Other
|
|
* Currently CPU0 is only hotpluggable on Intel platforms. Other
|
|
* vendors can add hotplug support later.
|
|
* vendors can add hotplug support later.
|
|
|
|
+ * Xen PV guests don't support CPU0 hotplug at all.
|
|
*/
|
|
*/
|
|
- if (c->x86_vendor != X86_VENDOR_INTEL)
|
|
|
|
|
|
+ if (c->x86_vendor != X86_VENDOR_INTEL ||
|
|
|
|
+ boot_cpu_has(X86_FEATURE_XENPV))
|
|
cpu0_hotpluggable = 0;
|
|
cpu0_hotpluggable = 0;
|
|
|
|
|
|
/*
|
|
/*
|