On Fri, Jul 12, 2019 at 5:14 PM Jason Gunthorpe <jgg@xxxxxxxx> wrote: > On Fri, Jul 12, 2019 at 03:22:35PM +0200, Arnd Bergmann wrote: > > On Fri, Jul 12, 2019 at 3:05 PM Bernard Metzler <BMT@xxxxxxxxxxxxxx> wrote: > > Since this is coming up so late in the merge window, I'm inclined to > take the simple path while Bernard makes a complete solution > here. What do you think Arnd? I don't see a problem either way, since it's a new driver, so both disabling it on 32-bit and applying a fix that might cause something to break is not going to make it worse for anyone compared to the linux-5.2 release. Arnd