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