sched/rt: Use schedule_preempt_disabled()
[linux-3.10.git] / arch / cris / kernel / process.c
index aa585e4..d8f50ff 100644 (file)
@@ -115,9 +115,7 @@ void cpu_idle (void)
                                idle = default_idle;
                        idle();
                }
-               preempt_enable_no_resched();
-               schedule();
-               preempt_disable();
+               schedule_preempt_disabled();
        }
 }