Re: [PATCH 4.9] x86/pti/efi: broken conversion from efi to kernel page table

[Greg KH]

On Sat, Jan 13, 2018 at 12:40:10PM -0500, Pavel Tatashin wrote:
> Hi Greg,
> 
> Yeah, the one in pgtable.c needs to be removed, I wonder how it
> compiled... I will submit a new patch for 4.9 sometime later.

It builds, just gives a warning, easy to miss if you aren't looking for
it :)