> On Oct 14, 2018, at 2:17 AM, tip-bot for Dave Hansen <[email protected]> wrote:
>
> Commit-ID: 16561f27f94e6193ee8f5b9b74801e1668c86efc
> Gitweb:
> https://git.kernel.org/tip/16561f27f94e6193ee8f5b9b74801e1668c86efc
> Author: Dave Hansen <[email protected]>
> AuthorDate: Fri, 12 Oct 2018 16:21:18 -0700
> Committer: Thomas Gleixner <[email protected]>
> CommitDate: Sun, 14 Oct 2018 11:11:22 +0200
>
> x86/entry: Add some paranoid entry/exit CR3 handling comments
Phooey. I *typed* some comments but didn’t hit send. I’ll send a follow up
patch.