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();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/idle.c/clean/arch/ppc/kernel/idle.c