On Fri, Jul 17, 2020 at 01:10:05PM +0200, Peter Zijlstra wrote: > Hi All, > > While fixing a silly bug on SH (patch #1), I realized that even with the > trivial patch to restore prior behaviour, page directory freeing was still > broken.
*sigh*, I got patches 1 and 2 in the 'wrong' order.
