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

[Heiner Kallweit]

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,
> 
> 	tglx
> 
Rgds, Heiner