idle(); 
while (1) { idle(); preempt_enable_no_resched(); schedule(); preempt_disable(); } 
void cpu_idle(void){	/* endless idle loop with no priority at all */	idle();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b05a720b374ac6af05b2fd4c70bb2c61a9f461ca/process.c/buggy/arch/m68knommu/kernel/process.c