Re: Fix 80d20d35af1e ("nohz: Fix local_timer_softirq_pending()") may have revealed another problem

[Thomas Gleixner]

On Thu, 14 Feb 2019, Heiner Kallweit wrote:
> On 24.01.2019 20:37, Heiner Kallweit wrote:
> >>
> > Hi Frederic,
> > is the update debug patch still to come?

Heiner, there is a related fix queued in

   git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git irq/core

See also:
    https://lkml.kernel.org/r/20190128234625.78241-3-mka@xxxxxxxxxxxx
    https://lkml.kernel.org/r/20190128234625.78241-2-mka@xxxxxxxxxxxx

Can you please have a look?

Thanks,

	tglx