On Fri, Aug 17, 2018 at 2:17 PM Jason Gunthorpe <jgg@xxxxxxxxxxxx> wrote: > > Would you like a patch to remove that CONFIG option? I've definitely considered it and would almost certainly just apply a patch that removed it. We haven't had this issue for a while (because people stopped using the deprecated thing), so it ended up not having been an issue lately. Yours was the first case of deprecation warnings I've seen in a longish while. Linus