} 
void default_idle(void){	local_irq_disable();	if (!need_resched() && !hlt_counter)		arch_idle();	local_irq_enable();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2ea83398b75309d8fdc999c4bb252e72d7e4fd9d/process.c/clean/arch/arm/kernel/process.c