while(1) { if (!need_resched()) { local_irq_enable(); __asm__("sleep"); local_irq_disable(); } schedule(); }
local_irq_disable(); if (!need_resched()) { local_irq_enable();  __asm__("sleep"); } else local_irq_enable();
void default_idle(void){	while(1) {		if (!need_resched()) {			local_irq_enable();			__asm__("sleep");			local_irq_disable();		}		schedule();	}}