static int native_idle(void) 
int native_idle(void) 
static int native_idle(void){	while(1) {		/* check CPU type here */		if (!need_resched())			power4_idle();		if (need_resched())			schedule();		if (cpu_is_offline(raw_smp_processor_id()) &&		    system_state == SYSTEM_RUNNING)			cpu_die();	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fd899c0cc725387992ccfc83fb6f70505c36cbeb/idle.c/buggy/arch/ppc64/kernel/idle.c