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