|
@@ -30,7 +30,6 @@ extern int smp_store_status(int cpu);
|
|
|
extern int smp_vcpu_scheduled(int cpu);
|
|
|
extern void smp_yield_cpu(int cpu);
|
|
|
extern void smp_yield(void);
|
|
|
-extern void smp_stop_cpu(void);
|
|
|
extern void smp_cpu_set_polarization(int cpu, int val);
|
|
|
extern int smp_cpu_get_polarization(int cpu);
|
|
|
extern void smp_fill_possible_mask(void);
|
|
@@ -54,6 +53,8 @@ static inline void smp_yield_cpu(int cpu) { }
|
|
|
static inline void smp_yield(void) { }
|
|
|
static inline void smp_fill_possible_mask(void) { }
|
|
|
|
|
|
+#endif /* CONFIG_SMP */
|
|
|
+
|
|
|
static inline void smp_stop_cpu(void)
|
|
|
{
|
|
|
u16 pcpu = stap();
|
|
@@ -64,8 +65,6 @@ static inline void smp_stop_cpu(void)
|
|
|
}
|
|
|
}
|
|
|
|
|
|
-#endif /* CONFIG_SMP */
|
|
|
-
|
|
|
#ifdef CONFIG_HOTPLUG_CPU
|
|
|
extern int smp_rescan_cpus(void);
|
|
|
extern void __noreturn cpu_die(void);
|