Signed-off-by: Alex Nixon <alex.nixon@citrix.com>
Acked-by: Jeremy Fitzhardinge <jeremy@goop.org>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
{
}
+#ifdef CONFIG_HOTPLUG_CPU
int xen_cpu_disable(void)
{
unsigned int cpu = smp_processor_id();
cpu_bringup();
}
+#else /* !CONFIG_HOTPLUG_CPU */
+int xen_cpu_disable(void)
+{
+ return -ENOSYS;
+}
+
+void xen_cpu_die(unsigned int cpu)
+{
+ BUG();
+}
+
+void xen_play_dead(void)
+{
+ BUG();
+}
+
+#endif
static void stop_self(void *v)
{
int cpu = smp_processor_id();