/* endless idle loop with no priority at all */
        while (1) {
 -              tick_nohz_stop_sched_tick();
 +              tick_nohz_stop_sched_tick(1);
                while (!need_resched()) {
-                       void (*idle)(void);
  
                        check_pgt_cache();
                        rmb();
 
        current_thread_info()->status |= TS_POLLING;
        /* endless idle loop with no priority at all */
        while (1) {
 -              tick_nohz_stop_sched_tick();
 +              tick_nohz_stop_sched_tick(1);
                while (!need_resched()) {
-                       void (*idle)(void);
  
                        rmb();
-                       idle = pm_idle;
-                       if (!idle)
-                               idle = default_idle;
+ 
                        if (cpu_is_offline(smp_processor_id()))
                                play_dead();
                        /*