if (need_resched()) { 
if (!need_resched()) { 
void default_idle(void){	while(1) {		if (need_resched()) {			local_irq_enable();			__asm__("sleep");			local_irq_disable();		}		schedule();	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2e214953295dd33fc62d43ac7ec91997afad75bb/process.c/clean/arch/h8300/kernel/process.c