preempt_disable();
void cpu_idle(void){	/* endless idle loop with no priority at all */	preempt_disable();	while (1) {		while (!need_resched()) {			local_irq_disable();			if (!need_resched() && !hlt_counter)				local_irq_enable();		}	}	schedule();}