if (cpu_is_offline(cpu) && system_state == SYSTEM_RUNNING) cpu_die(); if (need_resched()) { preempt_enable_no_resched(); schedule(); preempt_disable(); }  }
void cpu_idle(void){	for (;;)		if (ppc_md.idle != NULL)			ppc_md.idle();		else			default_idle();}