idle(); 
while (1) { while (!need_resched()) idle(); preempt_enable_no_resched(); schedule(); preempt_disable(); } 
void cpu_idle(void){	idle();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/process.c/buggy/arch/h8300/kernel/process.c