while(1) { if (need_resched()) __asm__("stop #0x2000" : : : "cc"); schedule(); 
local_irq_disable(); while (!need_resched()) { /* This stop will re-enable interrupts */ __asm__("stop #0x2000" : : : "cc"); local_irq_disable(); 
void default_idle(void){	while(1) {		if (need_resched())			__asm__("stop #0x2000" : : : "cc");		schedule();	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b05a720b374ac6af05b2fd4c70bb2c61a9f461ca/process.c/buggy/arch/m68knommu/kernel/process.c