while (!need_resched()) 
while (!need_resched() && !cpu_is_offline(cpu)) 
void default_idle(void){	void (*powersave)(void);	powersave = ppc_md.power_save;	if (!need_resched()) {		if (powersave != NULL)			powersave();#ifdef CONFIG_SMP		else {			set_thread_flag(TIF_POLLING_NRFLAG);			while (!need_resched())				barrier();			clear_thread_flag(TIF_POLLING_NRFLAG);		}#endif	}	if (need_resched())		schedule();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/31139971b3dc9fbb2e8a8572fb81e6e8470f363a/idle.c/clean/arch/ppc/kernel/idle.c