On Mon, Dec 4, 2017 at 6:07 AM, Thomas Gleixner <[email protected]> wrote: > From: Andy Lutomirski <[email protected]> >
> 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 :)

