clear_thread_flag(TIF_POLLING_NRFLAG); 
static void poll_idle (void){	int oldval;	local_irq_enable();	/*	 * Deal with another CPU just having chosen a thread to	 * run here:	 */	oldval = test_and_clear_thread_flag(TIF_NEED_RESCHED);	if (!oldval) {		set_thread_flag(TIF_POLLING_NRFLAG); 		asm volatile(			"2:"			"testl %0,%1;"			"rep; nop;"			"je 2b;"			: :			"i" (_TIF_NEED_RESCHED), 			"m" (current_thread_info()->flags));	} else {		set_need_resched();	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b8f68e9ffaf5e7c9c463ecd2598cc33f8e6df75e/process.c/buggy/arch/x86_64/kernel/process.c