while (1) { while (! need_resched ()) asm ("halt; nop; nop; nop; nop; nop" ::: "cc"); schedule (); } 
while (! need_resched ()) asm ("halt; nop; nop; nop; nop; nop" ::: "cc"); 
void default_idle (void){	while (1) {		while (! need_resched ())			asm ("halt; nop; nop; nop; nop; nop" ::: "cc");		schedule ();	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/process.c/clean/arch/v850/kernel/process.c