/* * This is our default idle handler. We need to disable * interrupts here to ensure we don't miss a wakeup call. */ static void default_idle(void) { #ifdef CONFIG_IPIPE ipipe_suspend_domain(); #endif local_irq_disable_hw(); if (!need_resched()) idle_with_irq_disabled(); local_irq_enable_hw(); }
/* * This is our default idle handler. We need to disable * interrupts here to ensure we don't miss a wakeup call. */ void arch_cpu_idle(void) { #ifdef CONFIG_IPIPE ipipe_suspend_domain(); #endif hard_local_irq_disable(); if (!need_resched()) idle_with_irq_disabled(); hard_local_irq_enable(); }