while(1) { if (!need_resched()) { local_irq_enable(); __asm__("sleep"); local_irq_disable(); } schedule(); } 
local_irq_disable(); if (!need_resched()) { local_irq_enable(); /* XXX: race here! What if need_resched() gets set now? */ __asm__("sleep"); } else local_irq_enable(); 
void default_idle(void){	while(1) {		if (!need_resched()) {			local_irq_enable();			__asm__("sleep");			local_irq_disable();		}		schedule();	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5bfb5d690f36d316a5f3b4f7775fda996faa6b12/process.c/buggy/arch/h8300/kernel/process.c