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 {			while (!need_resched())				cpu_sleep();		}		schedule();	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/process.c/clean/arch/sh/kernel/process.c