Hi Andy, On Fri, Feb 09, 2018 at 05:47:43PM +0000, Andy Lutomirski wrote: > One thing worth noting is that performance of this whole series is > going to be abysmal due to the complete lack of 32-bit PCID. Maybe > any kernel built with this option set that runs on a CPU that has the > PCID bit set in CPUID should print a big fat warning like "WARNING: > you are using 32-bit PTI on a 64-bit PCID-capable CPU. Your > performance will increase dramatically if you switch to a 64-bit > kernel."
Thanks for your review. I can add this warning, but I just hope that not a lot of people will actually see it :) Joerg