if (!need_resched()) { set_thread_flag(TIF_POLLING_NRFLAG); do { __monitor((void *)&current_thread_info()->flags, 0, 0); if (need_resched()) break; __mwait(0, 0); } while (!need_resched()); clear_thread_flag(TIF_POLLING_NRFLAG); 
while (!need_resched()) { __monitor((void *)&current_thread_info()->flags, 0, 0); smp_mb(); if (need_resched()) break; __mwait(0, 0); 
static void mwait_idle(void){	local_irq_enable();	if (!need_resched()) {		set_thread_flag(TIF_POLLING_NRFLAG);		do {			__monitor((void *)&current_thread_info()->flags, 0, 0);			if (need_resched())				break;			__mwait(0, 0);		} while (!need_resched());		clear_thread_flag(TIF_POLLING_NRFLAG);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/64c7c8f88559624abdbe12b5da6502e8879f8d28/process.c/clean/arch/i386/kernel/process.c