On Mon, Dec 4, 2017 at 6:07 AM, Thomas Gleixner <t...@linutronix.de> wrote: > From: Andy Lutomirski <l...@kernel.org> >
> XXX: Whenever we settle how KERNEL_PAGE_TABLE_ISOLATION gets turned on > and off, we should do the same to this. This is done now :)