--- arch/x86/include/asm/smp.h

+++ arch/x86/include/asm/smp.h

@@ -135,6 +135,8 @@ int native_cpu_disable(void);

void native_cpu_die(unsigned int cpu);

void native_play_dead(void);

void play_dead_common(void);

+void wbinvd_on_cpu(int cpu);

+int wbinvd_on_all_cpus(void);

void native_send_call_func_ipi(const struct cpumask *mask);

void native_send_call_func_single_ipi(int cpu);

@@ -147,6 +149,13 @@ static inline int num_booting_cpus(void)

{

return cpumask_weight(cpu_callout_mask);

}

+#else /* !CONFIG_SMP */

+#define wbinvd_on_cpu(cpu) wbinvd()

+static inline int wbinvd_on_all_cpus(void)

+{

+ wbinvd();

+ return 0;

+}

#endif /* CONFIG_SMP */

extern unsigned disabled_cpus __cpuinitdata;