|
@@ -123,7 +123,6 @@ void native_play_dead(void)
|
|
int __cpu_disable(void)
|
|
int __cpu_disable(void)
|
|
{
|
|
{
|
|
unsigned int cpu = smp_processor_id();
|
|
unsigned int cpu = smp_processor_id();
|
|
- struct task_struct *p;
|
|
|
|
int ret;
|
|
int ret;
|
|
|
|
|
|
ret = mp_ops->cpu_disable(cpu);
|
|
ret = mp_ops->cpu_disable(cpu);
|
|
@@ -153,11 +152,7 @@ int __cpu_disable(void)
|
|
flush_cache_all();
|
|
flush_cache_all();
|
|
local_flush_tlb_all();
|
|
local_flush_tlb_all();
|
|
|
|
|
|
- read_lock(&tasklist_lock);
|
|
|
|
- for_each_process(p)
|
|
|
|
- if (p->mm)
|
|
|
|
- cpumask_clear_cpu(cpu, mm_cpumask(p->mm));
|
|
|
|
- read_unlock(&tasklist_lock);
|
|
|
|
|
|
+ clear_tasks_mm_cpumask(cpu);
|
|
|
|
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|