default_idle(); 
/* endless idle loop with no priority at all */ while (1) { if (hlt_counter) { while (!need_resched()) cpu_relax(); } else { while (!need_resched()) cpu_sleep(); }  preempt_enable_no_resched(); schedule(); preempt_disable(); } 
void cpu_idle(void){	default_idle();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/64c7c8f88559624abdbe12b5da6502e8879f8d28/process.c/clean/arch/sh/kernel/process.c