while (!need_resched()) { local_irq_disable(); if (!need_resched() && !hlt_counter) local_irq_enable(); } 
while (!need_resched()) cpu_relax(); preempt_enable_no_resched(); schedule(); 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();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/process.c/clean/arch/arm26/kernel/process.c