1 #ifndef __XEN_CPU_HOTPLUG_H__
2 #define __XEN_CPU_HOTPLUG_H__
4 #include <linux/kernel.h>
5 #include <linux/cpumask.h>
7 #if defined(CONFIG_HOTPLUG_CPU)
9 #if defined(CONFIG_X86)
10 void cpu_initialize_context(unsigned int cpu);
12 #define cpu_initialize_context(cpu) ((void)0)
15 int cpu_up_check(unsigned int cpu);
16 void init_xenbus_allowed_cpumask(void);
17 int smp_suspend(void);
18 void smp_resume(void);
20 void cpu_bringup(void);
22 #else /* !defined(CONFIG_HOTPLUG_CPU) */
24 #define cpu_up_check(cpu) (0)
25 #define init_xenbus_allowed_cpumask() ((void)0)
27 static inline int smp_suspend(void)
29 if (num_online_cpus() > 1) {
30 printk(KERN_WARNING "Can't suspend SMP guests "
31 "without CONFIG_HOTPLUG_CPU\n");
37 static inline void smp_resume(void)
41 #endif /* !defined(CONFIG_HOTPLUG_CPU) */
43 #endif /* __XEN_CPU_HOTPLUG_H__ */