sched/rt: Use schedule_preempt_disabled()
[linux-3.10.git] / arch / ia64 / kernel / process.c
index 6d33c5c..9dc52b6 100644 (file)
@@ -330,9 +330,7 @@ cpu_idle (void)
                        normal_xtp();
 #endif
                }
-               preempt_enable_no_resched();
-               schedule();
-               preempt_disable();
+               schedule_preempt_disabled();
                check_pgt_cache();
                if (cpu_is_offline(cpu))
                        play_dead();