On Tue, 20 Jun 2017, Andy Lutomirski wrote:
> + /* Set up PCID */
> + if (cpu_has(c, X86_FEATURE_PCID)) {
> + if (cpu_has(c, X86_FEATURE_PGE)) {
> + cr4_set_bits(X86_CR4_PCIDE);So I assume that you made sure that the PCID bits in CR3 are zero under all circumstances as setting PCIDE would cause a #GP if not. Reviewed-by: Thomas Gleixner <[email protected]>
