while(1) { if (need_resched()) __asm__("stop #0x2000" : : : "cc"); schedule();
local_irq_disable(); while (!need_resched()) {  __asm__("stop #0x2000" : : : "cc"); local_irq_disable();
void default_idle(void){	while(1) {		if (need_resched())			__asm__("stop #0x2000" : : : "cc");		schedule();	}}