--- 138124fcfcade55165aca7ee1088cad8d7ec74d7 +++ 126f240715a426ecdc115f3fc514173c1442d5cb @@ -618,6 +618,7 @@ void __irq_entry do_IRQ(struct pt_regs * old_regs = set_irq_regs(regs); s390_idle_check(); irq_enter(); + __get_cpu_var(s390_idle).nohz_delay = 1; if (S390_lowcore.int_clock >= S390_lowcore.clock_comparator) /* Serve timer interrupts first. */ clock_comparator_work();