preempt_disable(); 
cpu_idle (void){	void (*mark_idle)(int) = ia64_mark_idle;	/* endless idle loop with no priority at all */	while (1) {#ifdef CONFIG_SMP		if (!need_resched())			min_xtp();#endif		while (!need_resched()) {			void (*idle)(void);			if (__get_cpu_var(cpu_idle_state))				__get_cpu_var(cpu_idle_state) = 0;			rmb();			if (mark_idle)				(*mark_idle)(1);			idle = pm_idle;			if (!idle)				idle = default_idle;			(*idle)();		}		if (mark_idle)			(*mark_idle)(0);#ifdef CONFIG_SMP		normal_xtp();#endif		schedule();		check_pgt_cache();		if (cpu_is_offline(smp_processor_id()))			play_dead();	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/process.c/buggy/arch/ia64/kernel/process.c