 set_thread_flag(TIF_POLLING_NRFLAG); 
void cpu_idle(void){	int cpu = smp_processor_id();	/* 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(cpu))				play_dead();			__get_cpu_var(irq_stat).idle_timestamp = jiffies;			idle();		}		preempt_enable_no_resched();		schedule();		preempt_disable();	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/64c7c8f88559624abdbe12b5da6502e8879f8d28/process.c/buggy/arch/i386/kernel/process.c