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 :)

Reply via email to