Re: Null pointer 4.14.1-rt3

[Sebastian Andrzej Siewior]

On 2017-12-01 11:03:15 [-0500], Steven Rostedt wrote:
> On Fri, 1 Dec 2017 13:26:05 +0100
> Sebastian Andrzej Siewior <bigeasy@xxxxxxxxxxxxx> wrote:
> 
> > - disable RT_PUSH_IPI if booted on UP. After all there is not much
> >   benefit here, is there?
> 
> This is what I would suggest. Maybe I'll look at adding a patch.

Please tag it stable because the patch made it into v4.14.3.

> -- Steve

Sebastian