if (need_resched()) schedule(); if (cpu_is_offline(cpu) && system_state == SYSTEM_RUNNING) cpu_die();
void default_idle(void){	void (*powersave)(void);	int cpu = smp_processor_id();	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() && !cpu_is_offline(cpu))				barrier();			clear_thread_flag(TIF_POLLING_NRFLAG);		}#endif	}	if (need_resched())		schedule();	if (cpu_is_offline(cpu) && system_state == SYSTEM_RUNNING)		cpu_die();}