set_thread_flag(TIF_POLLING_NRFLAG);  
void cpu_idle(void){	/* endless idle loop with no priority at all */	while (1) {		while (!need_resched())			barrier();		preempt_enable_no_resched();		schedule();		preempt_disable();		check_pgt_cache();	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/64c7c8f88559624abdbe12b5da6502e8879f8d28/process.c/buggy/arch/parisc/kernel/process.c