__u64 tmp;
__u32 ticks;
- if (!cpu_isset(smp_processor_id(), idle_cpu_mask))
+ if (!cpu_isset(smp_processor_id(), nohz_cpu_mask))
return;
/* Calculate how many ticks have passed */
do_timer(regs);
#endif
}
- cpu_clear(smp_processor_id(), idle_cpu_mask);
+ cpu_clear(smp_processor_id(), nohz_cpu_mask);
}
/*
* This cpu is going really idle. Set up the clock comparator
* for the next event.
*/
- cpu_set(smp_processor_id(), idle_cpu_mask);
+ cpu_set(smp_processor_id(), nohz_cpu_mask);
timer = (__u64) (next_timer_interrupt() - jiffies) + jiffies_64;
timer = jiffies_timer_cc + timer * CLK_TICKS_PER_JIFFY;
asm volatile ("SCKC %0" : : "m" (timer));