if (ppc_md.idle != NULL) ppc_md.idle(); else default_idle(); 
while (need_resched()) { if (ppc_md.idle != NULL) ppc_md.idle(); else default_idle(); }  
void cpu_idle(void){	int cpu = smp_processor_id();	for (;;) {		if (ppc_md.idle != NULL)			ppc_md.idle();		else			default_idle();		if (cpu_is_offline(cpu) && system_state == SYSTEM_RUNNING)			cpu_die();		if (need_resched()) {			preempt_enable_no_resched();			schedule();			preempt_disable();		}	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/64c7c8f88559624abdbe12b5da6502e8879f8d28/idle.c/clean/arch/ppc/kernel/idle.c