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

[Frederic Weisbecker]

On Thu, Feb 14, 2019 at 11:33:44PM +0100, Heiner Kallweit wrote:
> On 14.02.2019 22:47, Thomas Gleixner wrote:
> > 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?
> > 
> Great. And sure, I can test it over the weekend.

Thanks you, and sorry for the shutdown, I was buried into softirq code lately.