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;}