| Date | Wed, 21 Jun 2017 11:39:13 +0200 (CEST) | From | Thomas Gleixner <> | Subject | Re: [PATCH v3 10/11] x86/mm: Enable CR4.PCIDE on supported systems |
| |
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 <tglx@linutronix.de>
|