uml_idle_timer(); 
CHOOSE_MODE(uml_idle_timer(), (void) 0); 
void default_idle(void){	uml_idle_timer();	atomic_inc(&init_mm.mm_count);	current->mm = &init_mm;	current->active_mm = &init_mm;	while(1){		/* endless idle loop with no priority at all */		/*		 * although we are an idle CPU, we do not want to		 * get into the scheduler unnecessarily.		 */		if(need_resched())			schedule();				idle_sleep(10);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a6f4e3cf75538a75ee4fab620e3c8466f2154458/process_kern.c/buggy/arch/um/kernel/process_kern.c