Merge branch 'devel-stable' into devel
[linux-3.10.git] / arch / arm / kernel / smp.c
index a01194e..b8c3d0f 100644 (file)
@@ -168,7 +168,7 @@ int __cpu_disable(void)
        struct task_struct *p;
        int ret;
 
-       ret = mach_cpu_disable(cpu);
+       ret = platform_cpu_disable(cpu);
        if (ret)
                return ret;