(*idle) ();
while (1) { while (!need_resched()) (*idle) ();  preempt_enable_no_resched(); schedule(); preempt_disable(); }
void cpu_idle (void){	/* endless idle loop with no priority at all */	(*idle) ();}