sched/rt: Use schedule_preempt_disabled()
[linux-3.10.git] / arch / avr32 / kernel / process.c
index ea33957..92c5af9 100644 (file)
@@ -40,9 +40,7 @@ void cpu_idle(void)
                        cpu_idle_sleep();
                rcu_idle_exit();
                tick_nohz_idle_exit();
-               preempt_enable_no_resched();
-               schedule();
-               preempt_disable();
+               schedule_preempt_disabled();
        }
 }