diff --git a/kernel/irq/handle.c b/kernel/irq/handle.c index 5a360dd4331b0505a6f4e54c0c26317f23d3c189..961b87591731e575f0ec97faee9105e4c67aacb0 100644 --- a/kernel/irq/handle.c +++ b/kernel/irq/handle.c @@ -16,6 +16,10 @@ #include #include +#if defined(CONFIG_NO_IDLE_HZ) && defined(CONFIG_ARM) +#include +#endif + #include "internals.h" /** @@ -113,6 +117,15 @@ irqreturn_t handle_IRQ_event(unsigned int irq, struct pt_regs *regs, irqreturn_t ret, retval = IRQ_NONE; unsigned int status = 0; +#if defined(CONFIG_NO_IDLE_HZ) && defined(CONFIG_ARM) + if (!(action->flags & SA_TIMER) && system_timer->dyn_tick != NULL) { + write_seqlock(&xtime_lock); + if (system_timer->dyn_tick->state & DYN_TICK_ENABLED) + system_timer->dyn_tick->handler(irq, 0, regs); + write_sequnlock(&xtime_lock); + } +#endif + if (!(action->flags & SA_INTERRUPT)) local_irq_enable();