|
@@ -169,11 +169,6 @@ void x86_idle_thread_init(unsigned int cpu, struct task_struct *idle);
|
|
|
void smp_store_cpu_info(int id);
|
|
|
#define cpu_physical_id(cpu) per_cpu(x86_cpu_to_apicid, cpu)
|
|
|
|
|
|
-/* We don't mark CPUs online until __cpu_up(), so we need another measure */
|
|
|
-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)
|