On Monday 21 January 2013, Vineet Gupta wrote:> - while (!need_resched())> +doze:> + local_irq_disable();> + if (!need_resched()) {> arch_idle();> + goto doze;> + } else {> + local_irq_enable();> + }> Ok, that looks like it will work. Arnd