preempt_disable();
void default_idle(void){	/* endless idle loop with no priority at all */	while (1) {		if (hlt_counter) {			while (1)				if (need_resched())					break;		} else {			local_irq_disable();			while (!need_resched()) {				local_irq_enable();				idle_trace();				hlt();				local_irq_disable();			}			local_irq_enable();		}		schedule();	}}