On Tue, Jul 30, 2019 at 06:04:56PM +0000, Jason Gunthorpe wrote:> Oh, can we make this into a non-user selectable option now? > > ie have the drivers that use the API select it?Sure, I'll throw in another patch for that.